Uses of Class
kodkod.ast.UnaryExpression

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

Uses of UnaryExpression in kodkod.ast.visitor
 

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