- validate(int) - Method in class kodkod.engine.bool.Dimensions
-
Returns true if index is a valid flat index for a matrix with
these dimensions; otherwise returns false.
- validate(int[]) - Method in class kodkod.engine.bool.Dimensions
-
Returns true if index is a valid vector index for a matrix
with these dimensions; otherwise returns false.
- value() - Method in class kodkod.ast.IntConstant
-
Returns this.value.
- value() - Method in class kodkod.engine.bool.Int
-
If this Int is constant, returns its value.
- value() - Method in interface kodkod.util.ints.IndexedEntry
-
Returns the value stored in this entry.
- valueOf(String) - Static method in enum kodkod.ast.operator.ExprCastOperator
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum kodkod.ast.operator.ExprCompOperator
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum kodkod.ast.operator.ExprOperator
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum kodkod.ast.operator.FormulaOperator
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum kodkod.ast.operator.IntCastOperator
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum kodkod.ast.operator.IntCompOperator
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum kodkod.ast.operator.IntOperator
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum kodkod.ast.operator.Multiplicity
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum kodkod.ast.operator.Quantifier
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum kodkod.ast.RelationPredicate.Name
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum kodkod.engine.config.Options.IntEncoding
-
Returns the enum constant of this type with the specified name.
- valueOf(int) - Method in interface kodkod.engine.satlab.SATSolver
-
Returns the boolean value assigned to the given variable by the
last successful call to
SATSolver.solve().
- valueOf(String) - Static method in enum kodkod.engine.Solution.Outcome
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum kodkod.ast.operator.ExprCastOperator
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum kodkod.ast.operator.ExprCompOperator
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum kodkod.ast.operator.ExprOperator
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum kodkod.ast.operator.FormulaOperator
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum kodkod.ast.operator.IntCastOperator
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum kodkod.ast.operator.IntCompOperator
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum kodkod.ast.operator.IntOperator
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum kodkod.ast.operator.Multiplicity
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum kodkod.ast.operator.Quantifier
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum kodkod.ast.RelationPredicate.Name
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum kodkod.engine.config.Options.IntEncoding
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum kodkod.engine.Solution.Outcome
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Method in class kodkod.util.ints.AbstractSparseSequence
-
Returns a Collection view of the values stored in this sequence.
- values() - Method in interface kodkod.util.ints.SparseSequence
-
Returns a Collection view of the values stored in this sequence.
- VAR - Static variable in class kodkod.engine.bool.Operator
-
- variable() - Method in class kodkod.ast.Decl
-
Returns the variable in this declaration.
- Variable - Class in kodkod.ast
-
- variable(int) - Method in class kodkod.engine.bool.BooleanFactory
-
Returns the variable with the given label.
- variables() - Method in class kodkod.engine.Statistics
-
Returns the number of variables needed
to encode this.formula in CNF.
- visit(Decls) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(decls) and returns the cached value, if any.
- visit(Decl) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(decl) and returns the cached value, if any.
- visit(Relation) - Method in class kodkod.ast.visitor.AbstractCollector
-
Returns Collections.EMPTY_SET
- visit(Variable) - Method in class kodkod.ast.visitor.AbstractCollector
-
Returns Collections.EMPTY_SET
- visit(ConstantExpression) - Method in class kodkod.ast.visitor.AbstractCollector
-
Returns Collections.EMPTY_SET
- visit(NaryExpression) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(expr) and returns the cached value, if any.
- visit(BinaryExpression) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(binExpr) and returns the cached value, if any.
- visit(UnaryExpression) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(unaryExpr) and returns the cached value, if any.
- visit(Comprehension) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(comprehension) and returns the cached value, if any.
- visit(IfExpression) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(ifExpr) and returns the cached value, if any.
- visit(ProjectExpression) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(project) and returns the cached value, if any.
- visit(IntToExprCast) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(castExpr) and returns the cached value, if any.
- visit(IntConstant) - Method in class kodkod.ast.visitor.AbstractCollector
-
Returns Collections.EMPTY_SET
- visit(IfIntExpression) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(ExprToIntCast) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(NaryIntExpression) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(BinaryIntExpression) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(UnaryIntExpression) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(SumExpression) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(IntComparisonFormula) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(intComp) and returns the cached value, if any.
- visit(QuantifiedFormula) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(quantFormula) and returns the cached value, if any.
- visit(NaryFormula) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(formula) and returns the cached value, if any.
- visit(BinaryFormula) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(binFormula) and returns the cached value, if any.
- visit(NotFormula) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(not) and returns the cached value, if any.
- visit(ConstantFormula) - Method in class kodkod.ast.visitor.AbstractCollector
-
Returns Collections.EMPTY_SET
- visit(ComparisonFormula) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(compFormula) and returns the cached value, if any.
- visit(MultiplicityFormula) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(multFormula) and returns the cached value, if any.
- visit(RelationPredicate) - Method in class kodkod.ast.visitor.AbstractCollector
-
Calls lookup(predicate) and returns the cached value, if any.
- visit(Decls) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(decls) and returns the cached value, if any.
- visit(Decl) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(decl) and returns the cached value, if any.
- visit(Relation) - Method in class kodkod.ast.visitor.AbstractDetector
-
Returns FALSE.
- visit(Variable) - Method in class kodkod.ast.visitor.AbstractDetector
-
Returns FALSE.
- visit(ConstantExpression) - Method in class kodkod.ast.visitor.AbstractDetector
-
Returns FALSE.
- visit(NaryExpression) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(expr) and returns the cached value, if any.
- visit(BinaryExpression) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(binExpr) and returns the cached value, if any.
- visit(UnaryExpression) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(expr) and returns the cached value, if any.
- visit(Comprehension) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(expr) and returns the cached value, if any.
- visit(IfExpression) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(expr) and returns the cached value, if any.
- visit(ProjectExpression) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(project) and returns the cached value, if any.
- visit(IntToExprCast) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(castExpr) and returns the cached value, if any.
- visit(IntConstant) - Method in class kodkod.ast.visitor.AbstractDetector
-
Returns FALSE.
- visit(IfIntExpression) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(ExprToIntCast) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(NaryIntExpression) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(BinaryIntExpression) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(UnaryIntExpression) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(SumExpression) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(IntComparisonFormula) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(intComp) and returns the cached value, if any.
- visit(QuantifiedFormula) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(quantFormula) and returns the cached value, if any.
- visit(NaryFormula) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(formula) and returns the cached value, if any.
- visit(BinaryFormula) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(binFormula) and returns the cached value, if any.
- visit(NotFormula) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(not) and returns the cached value, if any.
- visit(ConstantFormula) - Method in class kodkod.ast.visitor.AbstractDetector
-
Returns FALSE.
- visit(ComparisonFormula) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(exprComp) and returns the cached value, if any.
- visit(MultiplicityFormula) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(multFormula) and returns the cached value, if any.
- visit(RelationPredicate) - Method in class kodkod.ast.visitor.AbstractDetector
-
Calls lookup(predicate) and returns the cached value, if any.
- visit(Decls) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(decls) and returns the cached value, if any.
- visit(Decl) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(decl) and returns the cached value, if any.
- visit(Relation) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(relation) and returns the cached value, if any.
- visit(Variable) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(variable) and returns the cached value, if any.
- visit(ConstantExpression) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(constExpr) and returns the cached value, if any.
- visit(NaryExpression) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(expr) and returns the cached value, if any.
- visit(BinaryExpression) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(binExpr) and returns the cached value, if any.
- visit(UnaryExpression) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(unaryExpr) and returns the cached value, if any.
- visit(Comprehension) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(comprehension) and returns the cached value, if any.
- visit(IfExpression) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(ifExpr) and returns the cached value, if any.
- visit(ProjectExpression) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(decls) and returns the cached value, if any.
- visit(IntToExprCast) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(castExpr) and returns the cached value, if any.
- visit(IntConstant) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(intconst) and returns the cached value, if any.
- visit(IfIntExpression) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(ExprToIntCast) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(NaryIntExpression) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(BinaryIntExpression) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(UnaryIntExpression) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(SumExpression) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(intExpr) and returns the cached value, if any.
- visit(IntComparisonFormula) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(intComp) and returns the cached value, if any.
- visit(ConstantFormula) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(constant) and returns the cached value, if any.
- visit(QuantifiedFormula) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(quantFormula) and returns the cached value, if any.
- visit(NaryFormula) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(formula) and returns the cached value, if any.
- visit(BinaryFormula) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(binFormula) and returns the cached value, if any.
- visit(NotFormula) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(binFormula) and returns the cached value, if any.
- visit(ComparisonFormula) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(compFormula) and returns the cached value, if any.
- visit(MultiplicityFormula) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(multFormula) and returns the cached value, if any.
- visit(RelationPredicate) - Method in class kodkod.ast.visitor.AbstractReplacer
-
Calls lookup(pred) and returns the cached value, if any.
- visit(Decls) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits all the children of the given declarations node if
this.visited(decls) returns false.
- visit(Decl) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the variable and expression of this decl if
this.visited(decl) returns false.
- visit(Relation) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Does nothing.
- visit(Variable) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Does nothing.
- visit(ConstantExpression) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Does nothing.
- visit(NaryExpression) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the children if this.visited(expr) returns false.
- visit(BinaryExpression) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the left and right subexpressions if
this.visited(binExpr) returns false.
- visit(UnaryExpression) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the subexpression if
this.visited(unaryExpr) returns false.
- visit(Comprehension) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the declarations and the formula if
this.visited(comprehension) returns false.
- visit(IfExpression) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the if-condition, the then-expression, and the else-expression if
this.visited(ifExpr) returns false.
- visit(ProjectExpression) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits project.expression and project.columns if this.visited(project) returns false.
- visit(IntToExprCast) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits castExpr.intExpr if
this.visited(castExpr) returns false.
- visit(IntConstant) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Does nothing.
- visit(IfIntExpression) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the if-condition, the then-expression, and the else-expression if
this.visited(intExpr) returns false.
- visit(ExprToIntCast) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits intExpr.expression if
this.visited(intExpr) returns false.
- visit(NaryIntExpression) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the children if this.visited(intExpr) returns false.
- visit(BinaryIntExpression) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the children of the given integer expression if
this.visited(intExpr) returns false.
- visit(UnaryIntExpression) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the subexpression if
this.visited(intExpr) returns false.
- visit(SumExpression) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the children of the given sum expression if
this.visited(intExpr) returns false.
- visit(IntComparisonFormula) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the children of the given integer comparison formula if
this.visited(intComp) returns false.
- visit(QuantifiedFormula) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the declarations and the formula if
this.visited(quantFormula) returns false.
- visit(NaryFormula) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the children if this.visited(formula) returns false.
- visit(BinaryFormula) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the left and right children if
this.visited(binFormula) returns false.
- visit(NotFormula) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the subformula if
this.visited(not) returns false.
- visit(ConstantFormula) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Does nothing.
- visit(ComparisonFormula) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the left and right children if
this.visited(compFormula) returns false.
- visit(MultiplicityFormula) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the formula if
this.visited(multFormula) returns false.
- visit(RelationPredicate) - Method in class kodkod.ast.visitor.AbstractVoidVisitor
-
Visits the children of the predicate if
this.visited(pred) returns false.
- visit(Decls) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given sequence of declarations and returns the result.
- visit(Decl) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given declaration and returns the result.
- visit(Relation) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given relation and returns the result.
- visit(Variable) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given variable and returns the result.
- visit(ConstantExpression) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given constant expression and returns the result.
- visit(UnaryExpression) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given unary expression and returns the result.
- visit(BinaryExpression) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given binary expression and returns the result.
- visit(NaryExpression) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given nary expression and returns the result.
- visit(Comprehension) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given comprehension and returns the result.
- visit(IfExpression) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given if-then expression and returns the result.
- visit(ProjectExpression) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given projection expression and returns the result.
- visit(IntToExprCast) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given cast expression expression and returns the result.
- visit(IntConstant) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given integer constant and returns the result.
- visit(IfIntExpression) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given if-int-expression and returns the result.
- visit(ExprToIntCast) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given unary integer expression and returns the result.
- visit(NaryIntExpression) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given nary expression and returns the result.
- visit(BinaryIntExpression) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given binary integer expression and returns the result.
- visit(UnaryIntExpression) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given unary integer expression and returns the result.
- visit(SumExpression) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given sum expression and returns the result.
- visit(IntComparisonFormula) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given integer comparison formula and returns the result.
- visit(QuantifiedFormula) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given quantified formula and returns the result.
- visit(NaryFormula) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given nary formula and returns the result.
- visit(BinaryFormula) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given binary formula and returns the result.
- visit(NotFormula) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given negation and returns the result.
- visit(ConstantFormula) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given constant formula and returns the result.
- visit(ComparisonFormula) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given comparison formula and returns the result.
- visit(MultiplicityFormula) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given multiplicity formula and returns the result.
- visit(RelationPredicate) - Method in interface kodkod.ast.visitor.ReturnVisitor
-
Visits the given relation predicate and returns the result.
- visit(Decls) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given sequence of declarations.
- visit(Decl) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given declaration.
- visit(Relation) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given relation.
- visit(Variable) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given variable.
- visit(ConstantExpression) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given constant expression.
- visit(UnaryExpression) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given unary expression.
- visit(BinaryExpression) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given binary expression.
- visit(NaryExpression) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given nary expression.
- visit(Comprehension) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given comprehension.
- visit(IfExpression) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given if-then expression.
- visit(ProjectExpression) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given projection expression.
- visit(IntToExprCast) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given integer cast expression.
- visit(IntConstant) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given integer constant.
- visit(ExprToIntCast) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given unary integer expression.
- visit(IfIntExpression) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given if-int-expression.
- visit(NaryIntExpression) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given nary int expression.
- visit(BinaryIntExpression) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given binary integer expression.
- visit(UnaryIntExpression) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given unary integer expression.
- visit(SumExpression) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given sum expression.
- visit(IntComparisonFormula) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given integer comparison formula.
- visit(QuantifiedFormula) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given quantified formula.
- visit(NaryFormula) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given nary formula.
- visit(BinaryFormula) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given binary formula.
- visit(NotFormula) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given negation.
- visit(ConstantFormula) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given constant formula.
- visit(ComparisonFormula) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given comparison formula.
- visit(MultiplicityFormula) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given multiplicity formula.
- visit(RelationPredicate) - Method in interface kodkod.ast.visitor.VoidVisitor
-
Visits the given relation predicate.
- visit(MultiGate, A) - Method in interface kodkod.engine.bool.BooleanVisitor
-
Visits the multigate and returns the result.
- visit(ITEGate, A) - Method in interface kodkod.engine.bool.BooleanVisitor
-
Visits the if-then-else gate and returns the result.
- visit(NotGate, A) - Method in interface kodkod.engine.bool.BooleanVisitor
-
Visits the inverter and returns the result.
- visit(BooleanVariable, A) - Method in interface kodkod.engine.bool.BooleanVisitor
-
Visits the variable and returns the result.
- VoidVisitor - Interface in kodkod.ast.visitor
-
A visitor that visits every node in the AST.