Uses of Interface
kodkod.ast.Node

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.