|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use net.sf.bddbddb | |
|---|---|
| net.sf.bddbddb | |
| net.sf.bddbddb.dataflow | |
| net.sf.bddbddb.ir | |
| net.sf.bddbddb.ir.dynamic | |
| net.sf.bddbddb.ir.highlevel | |
| net.sf.bddbddb.ir.lowlevel | |
| net.sf.bddbddb.order | |
| Classes in net.sf.bddbddb used by net.sf.bddbddb | |
|---|---|
| Attribute
An Attribute represents a single attribute of a relation. |
|
| BDDInferenceRule
An implementation of InferenceRule that uses BDDs. |
|
| BDDSolver
An implementation of Solver that uses BDDs. |
|
| DatalogParser
DatalogParser |
|
| Domain
A Domain represents a domain in bddbddb. |
|
| 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. |
|
| IterationElement
IterationElement |
|
| IterationFlowGraph
IterationFlowGraph |
|
| IterationList
IterationList |
|
| LSRelation.TupleComparator
|
|
| Relation
Represents a relation in bddbddb. |
|
| RuleTerm
A term in a Datalog rule. |
|
| Solver
Solver |
|
| Solver.MyReader
A LineNumberReader that can nest through multiple included files. |
|
| Stratify
Implements stratification and decides iteration order. |
|
| TupleIterator
TupleIterator |
|
| Variable
A Variable is a variable in a rule. |
|
| XMLFactory
XMLFactory |
|
| Classes in net.sf.bddbddb used by net.sf.bddbddb.dataflow | |
|---|---|
| Attribute
An Attribute represents a single attribute of a relation. |
|
| IterationElement
IterationElement |
|
| IterationFlowGraph
IterationFlowGraph |
|
| IterationList
IterationList |
|
| Relation
Represents a relation in bddbddb. |
|
| Classes in net.sf.bddbddb used by net.sf.bddbddb.ir | |
|---|---|
| BDDRelation
An implementation of Relation that uses BDDs. |
|
| BDDSolver
An implementation of Solver that uses BDDs. |
|
| IterationElement
IterationElement |
|
| IterationFlowGraph
IterationFlowGraph |
|
| IterationList
IterationList |
|
| Relation
Represents a relation in bddbddb. |
|
| Solver
Solver |
|
| Stratify
Implements stratification and decides iteration order. |
|
| Classes in net.sf.bddbddb used by net.sf.bddbddb.ir.dynamic | |
|---|---|
| IterationElement
IterationElement |
|
| IterationList
IterationList |
|
| Relation
Represents a relation in bddbddb. |
|
| Classes in net.sf.bddbddb used by net.sf.bddbddb.ir.highlevel | |
|---|---|
| Attribute
An Attribute represents a single attribute of a relation. |
|
| IterationElement
IterationElement |
|
| Relation
Represents a relation in bddbddb. |
|
| Classes in net.sf.bddbddb used by net.sf.bddbddb.ir.lowlevel | |
|---|---|
| BDDRelation
An implementation of Relation that uses BDDs. |
|
| IterationElement
IterationElement |
|
| Relation
Represents a relation in bddbddb. |
|
| Classes in net.sf.bddbddb used by net.sf.bddbddb.order | |
|---|---|
| BDDInferenceRule
An implementation of InferenceRule that uses BDDs. |
|
| BDDSolver
An implementation of Solver that uses BDDs. |
|
| InferenceRule
An InferenceRule represents a single Datalog rule. |
|
| Relation
Represents a relation in bddbddb. |
|
| RuleTerm
A term in a Datalog rule. |
|
| Solver
Solver |
|
| XMLFactory
XMLFactory |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||