Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
V
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 exception kodkod.engine.fol2sat.
TrivialFormulaException
Returns the value to which this.formula is trivially reducible.
value()
- Method in interface kodkod.util.ints.
IndexedEntry
Returns the value stored in this entry.
valueOf(String)
- Static method in enum kodkod.ast.
BinaryExpression.Operator
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum kodkod.ast.
BinaryFormula.Operator
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum kodkod.ast.
BinaryIntExpression.Operator
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum kodkod.ast.
ComparisonFormula.Operator
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum kodkod.ast.
ExprToIntCast.Operator
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum kodkod.ast.
IntComparisonFormula.Operator
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum kodkod.ast.
Multiplicity
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum kodkod.ast.
QuantifiedFormula.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.ast.
UnaryExpression.Operator
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum kodkod.ast.
UnaryIntExpression.Operator
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.
BinaryExpression.Operator
Returns an array containing the constants of this enum type, in the order they're declared.
values()
- Static method in enum kodkod.ast.
BinaryFormula.Operator
Returns an array containing the constants of this enum type, in the order they're declared.
values()
- Static method in enum kodkod.ast.
BinaryIntExpression.Operator
Returns an array containing the constants of this enum type, in the order they're declared.
values()
- Static method in enum kodkod.ast.
ComparisonFormula.Operator
Returns an array containing the constants of this enum type, in the order they're declared.
values()
- Static method in enum kodkod.ast.
ExprToIntCast.Operator
Returns an array containing the constants of this enum type, in the order they're declared.
values()
- Static method in enum kodkod.ast.
IntComparisonFormula.Operator
Returns an array containing the constants of this enum type, in the order they're declared.
values()
- Static method in enum kodkod.ast.
Multiplicity
Returns an array containing the constants of this enum type, in the order they're declared.
values()
- Static method in enum kodkod.ast.
QuantifiedFormula.Quantifier
Returns an array containing the constants of this enum type, in the order they're declared.
values()
- Static method in enum kodkod.ast.
RelationPredicate.Name
Returns an array containing the constants of this enum type, in the order they're declared.
values()
- Static method in enum kodkod.ast.
UnaryExpression.Operator
Returns an array containing the constants of this enum type, in the order they're declared.
values()
- Static method in enum kodkod.ast.
UnaryIntExpression.Operator
Returns an array containing the constants of this enum type, in the order they're 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're declared.
values()
- Static method in enum kodkod.engine.
Solution.Outcome
Returns an array containing the constants of this enum type, in the order they're 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
Zero-arity
variable
operator.
variable()
- Method in class kodkod.ast.
Decl
Returns the variable in this declaration.
Variable
- Class in
kodkod.ast
Represents a variable in a
quantified formula
, a
comprehension expression
, or a
sum expression
.
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(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(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(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(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(unaryExpr) and returns the cached value, if any.
visit(Comprehension)
- Method in class kodkod.ast.visitor.
AbstractDetector
Calls lookup(comprehension) and returns the cached value, if any.
visit(IfExpression)
- Method in class kodkod.ast.visitor.
AbstractDetector
Calls lookup(ifExpr) 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(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(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(compFormula) 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(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(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(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(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(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(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(BinaryExpression)
- Method in interface kodkod.ast.visitor.
ReturnVisitor
Visits the given binary expression and returns the result.
visit(UnaryExpression)
- Method in interface kodkod.ast.visitor.
ReturnVisitor
Visits the given unary 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(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(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(BinaryExpression)
- Method in interface kodkod.ast.visitor.
VoidVisitor
Visits the given binary expression.
visit(UnaryExpression)
- Method in interface kodkod.ast.visitor.
VoidVisitor
Visits the given unary 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(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(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.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z