|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Variable | |
---|---|
kodkod.ast | Contains classes for creating Kodkod formulas, expressions, and integer expressions. |
kodkod.ast.visitor | Contains visitors for Kodkod formulas, expressions, and integer expressions. |
kodkod.engine.fol2sat | Provides a facade for translating, evaluating, and approximating Kodkod formulas, expressions, and int expressions with respect to a given Bounds (or Instance) and Options. |
Uses of Variable in kodkod.ast |
---|
Methods in kodkod.ast that return Variable | |
---|---|
static Variable |
Variable.nary(java.lang.String name,
int arity)
Returns a new variable with the specified name and arity. |
static Variable |
Variable.unary(java.lang.String name)
Returns a new variable with the specified name and arity 1. |
Variable |
Decl.variable()
Returns the variable in this declaration. |
Uses of Variable in kodkod.ast.visitor |
---|
Methods in kodkod.ast.visitor with parameters of type Variable | |
---|---|
void |
VoidVisitor.visit(Variable variable)
Visits the given variable. |
E |
ReturnVisitor.visit(Variable variable)
Visits the given variable and returns the result. |
void |
AbstractVoidVisitor.visit(Variable variable)
Does nothing. |
Expression |
AbstractReplacer.visit(Variable variable)
Calls lookup(variable) and returns the cached value, if any. |
java.lang.Boolean |
AbstractDetector.visit(Variable variable)
Returns FALSE. |
java.util.Set<T> |
AbstractCollector.visit(Variable variable)
Returns Collections.EMPTY_SET |
Uses of Variable in kodkod.engine.fol2sat |
---|
Methods in kodkod.engine.fol2sat that return types with arguments of type Variable | |
---|---|
abstract java.util.Map<Variable,TupleSet> |
TranslationRecord.env()
Returns a map view of this.env. |
Method parameters in kodkod.engine.fol2sat with type arguments of type Variable | |
---|---|
boolean |
RecordFilter.accept(Node node,
int literal,
java.util.Map<Variable,TupleSet> env)
Returns true if the records with the given node, literal, and environment should be returned by iterators produced by the TranslationLog.replay() method. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |