Uses of Class
kodkod.ast.Variable

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.