|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Node | |
---|---|
kodkod.ast | Contains classes for creating 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 Node in kodkod.ast |
---|
Classes in kodkod.ast that implement Node | |
---|---|
class |
BinaryExpression
A relational expression with two children. |
class |
BinaryFormula
A formula with two children. |
class |
BinaryIntExpression
A binary integer expression, e.g. |
class |
ComparisonFormula
A formula that compares two expressions, e.g. |
class |
Comprehension
A comprehension expression, e.g. |
class |
ConstantExpression
A constant valued expression. |
class |
ConstantFormula
A constant formula , true or false. |
class |
Decl
A variable declaration, such as 'x : lone X'. |
class |
Decls
A sequence of declarations. |
class |
Expression
A relational expression. |
class |
ExprToIntCast
An IntExpression representing the
cardinality of an Expression or the
sum of all the integer atoms contained in the expression. |
class |
Formula
A first-order formula. |
class |
IfExpression
An expression whose value depends on the truth of a given condition. |
class |
IfIntExpression
An int expression whose value depends on the truth of a condition. |
class |
IntComparisonFormula
An integer comparison formula, e.g. |
class |
IntConstant
An integer constant (literal). |
class |
IntExpression
A Node whose value is an integer rather than a relational expression. |
class |
IntToExprCast
Represents the conversion from an int expression
to an expression . |
class |
LeafExpression
An expression with no children. |
class |
MultiplicityFormula
A multiplicity formula, e.g. |
class |
NotFormula
Negation of a formula . |
class |
ProjectExpression
A general projection expression. |
class |
QuantifiedFormula
A quantified formula. |
class |
Relation
A relation is a leaf expression. |
class |
RelationPredicate
Represents common predicates on relations; e.g. |
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. |
class |
SumExpression
Denotes the integer obtained by summing the values of an iteger expression ie for all values of a scalar x drawn from a set e. |
class |
UnaryExpression
An expression with one child. |
class |
UnaryIntExpression
A unary integer expression, e.g. |
class |
Variable
Represents a variable in a quantified formula ,
a comprehension expression , or a sum expression . |
Uses of Node in kodkod.engine.fol2sat |
---|
Methods in kodkod.engine.fol2sat that return Node | |
---|---|
abstract Node |
TranslationRecord.node()
Returns this.node. |
Methods in kodkod.engine.fol2sat with parameters of type Node | |
---|---|
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 |