|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use RelationProblem.RelationFact | |
|---|---|
| net.sf.bddbddb.dataflow | |
| Uses of RelationProblem.RelationFact in net.sf.bddbddb.dataflow |
|---|
| Subclasses of RelationProblem.RelationFact in net.sf.bddbddb.dataflow | |
|---|---|
class |
ConstantProp.ConstantPropFact
|
| Methods in net.sf.bddbddb.dataflow that return RelationProblem.RelationFact | |
|---|---|
RelationProblem.RelationFact |
RelationProblem.RelationFacts.getFact(Relation r)
Returns the fact associated with a relation. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||