Uses of Class
kodkod.ast.UnaryIntExpression

Packages that use UnaryIntExpression
kodkod.ast.visitor Contains visitors for Kodkod formulas, expressions, and integer expressions. 
 

Uses of UnaryIntExpression in kodkod.ast.visitor
 

Methods in kodkod.ast.visitor with parameters of type UnaryIntExpression
 void VoidVisitor.visit(UnaryIntExpression intExpr)
          Visits the given unary integer expression.
 I ReturnVisitor.visit(UnaryIntExpression intExpr)
          Visits the given unary integer expression and returns the result.
 void AbstractVoidVisitor.visit(UnaryIntExpression intExpr)
          Visits the subexpression if this.visited(intExpr) returns false.
 IntExpression AbstractReplacer.visit(UnaryIntExpression intExpr)
          Calls lookup(intExpr) and returns the cached value, if any.
 java.lang.Boolean AbstractDetector.visit(UnaryIntExpression intExpr)
          Calls lookup(intExpr) and returns the cached value, if any.
 java.util.Set<T> AbstractCollector.visit(UnaryIntExpression intExpr)
          Calls lookup(intExpr) and returns the cached value, if any.