#include <memory>#include <vector>
Include dependency graph for SipsMetric.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | souffle::ast::AllBoundSips |
| Goal: Prioritise atoms with all arguments bound. More... | |
| class | souffle::ast::DeltaInputSips |
| Goal: prioritise (1) all-bound, then (2) deltas, then (3) input, and then (4) left-most. More... | |
| class | souffle::ast::DeltaSips |
| Goal: prioritise (1) all-bound, then (2) deltas, and then (3) left-most. More... | |
| class | souffle::ast::InputSips |
| Goal: prioritise (1) all-bound, then (2) input, and then (3) left-most. More... | |
| class | souffle::ast::LeastFreeSips |
| Goal: choose the atom with the least number of unbound arguments. More... | |
| class | souffle::ast::LeastFreeVarsSips |
| Goal: choose the atom with the least amount of unbound variables. More... | |
| class | souffle::ast::MaxBoundSips |
| Goal: prioritise (1) all-bound, then (2) max number of bound vars, then (3) left-most. More... | |
| class | souffle::ast::MaxRatioSips |
| Goal: prioritise max ratio of bound args. More... | |
| class | souffle::ast::NaiveSips |
| Goal: Prioritise (1) all bound, then (2) atoms with at least one bound argument, then (3) left-most. More... | |
| class | souffle::ast::ProfileUseSips |
| Goal: reorder based on the given profiling information Metric: cost(atom_R) = log(|atom_R|) * #free/#args. More... | |
| class | souffle::ast::SipsMetric |
| Class for SIPS cost-metric functions Each subclass represents a different heuristic used for evaluating the cost of choosing an atom next in the schedule. More... | |
| class | souffle::ast::StrictSips |
| Goal: Always choose the left-most atom. More... | |
Namespaces | |
| souffle | |
| souffle::ast | |
| souffle::ast::analysis | |
