|
Class Summary |
| Attribute |
An Attribute represents a single attribute of a relation. |
| BDDInferenceRule |
An implementation of InferenceRule that uses BDDs. |
| BDDRelation |
An implementation of Relation that uses BDDs. |
| BDDSolver |
An implementation of Solver that uses BDDs. |
| BuildEquivalenceRelation |
Utility to build equivalence relations between multiple domains. |
| CodeFragment |
CodeFragment |
| Constant |
A Constant is a special kind of variable that represents a constant value. |
| DatalogParser |
DatalogParser |
| Domain |
A Domain represents a domain in bddbddb. |
| Dot |
Dot |
| FindBestDomainOrder |
FindBestDomainOrder
Design:
TrialInfo : order, cost
EpisodeCollection : collection of TrialInfo, best time, worst time
Constraint: a ConstraintInfo collection
Rule -> ConstraintInfo collection
EpisodeCollection -> ConstraintInfo collection
Algorithm to compute best order:
- Combine and sort single constraints from relation, rule, trials so far. |
| FindBestDomainOrder.ConstraintInfoCollection |
|
| FindBestDomainOrder.OrderInfo |
Calculated information about an order. |
| FindBestDomainOrder.OrderSearchElem |
|
| InferenceRule |
An InferenceRule represents a single Datalog rule. |
| InferenceRule.DependenceNavigator |
A navigator that can navigate over rule dependencies. |
| Interactive |
Command-line interactive bddbddb solver. |
| IterationFlowGraph |
IterationFlowGraph |
| IterationList |
IterationList |
| LSInferenceRule |
LSInferenceRule |
| LSRelation |
LSRelation |
| LSRelation.TupleComparator |
|
| LSSolver |
LSSolver |
| NumberingRule |
This class represents a special kind of rule used for numbering paths. |
| Relation |
Represents a relation in bddbddb. |
| RelationGraph |
Allows relations to be treated as edges in a graph, so we can use
graph algorithms on them. |
| RuleTerm |
A term in a Datalog rule. |
| Solver |
Solver |
| Solver.MyReader |
A LineNumberReader that can nest through multiple included files. |
| SolverGUI |
SolverGUI |
| Stratify |
Implements stratification and decides iteration order. |
| TryDomainOrders |
|
| TupleIterator |
TupleIterator |
| Universe |
A Universe is a special kind of variable that represents all values in
a domain. |
| Variable |
A Variable is a variable in a rule. |
| XMLFactory |
XMLFactory |