|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use RelationPredicate | |
---|---|
kodkod.ast | Contains classes for creating Kodkod formulas, expressions, and integer expressions. |
kodkod.ast.visitor | Contains visitors for Kodkod formulas, expressions, and integer expressions. |
Uses of RelationPredicate in kodkod.ast |
---|
Subclasses of RelationPredicate in kodkod.ast | |
---|---|
static class |
RelationPredicate.Acyclic
Represents the acyclic predicate. |
static class |
RelationPredicate.Function
Represents the function predicate. |
static class |
RelationPredicate.TotalOrdering
Represents the total ordering predicate. |
Uses of RelationPredicate in kodkod.ast.visitor |
---|
Methods in kodkod.ast.visitor with parameters of type RelationPredicate | |
---|---|
void |
VoidVisitor.visit(RelationPredicate predicate)
Visits the given relation predicate. |
F |
ReturnVisitor.visit(RelationPredicate predicate)
Visits the given relation predicate and returns the result. |
void |
AbstractVoidVisitor.visit(RelationPredicate pred)
Visits the children of the predicate if this.visited(pred) returns false. |
Formula |
AbstractReplacer.visit(RelationPredicate pred)
Calls lookup(pred) and returns the cached value, if any. |
java.lang.Boolean |
AbstractDetector.visit(RelationPredicate predicate)
Calls lookup(predicate) and returns the cached value, if any. |
java.util.Set<T> |
AbstractCollector.visit(RelationPredicate pred)
Calls lookup(predicate) and returns the cached value, if any. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |