Uses of Class
edu.mit.csail.sdg.alloy4compiler.ast.ExprITE

Packages that use ExprITE

edu.mit.csail.sdg.alloy4compiler.ast	This package contains the definition of AST nodes.
edu.mit.csail.sdg.alloy4compiler.sim	This package contains a pure-Java evaluator/simulator for Alloy4 instances.
edu.mit.csail.sdg.alloy4compiler.translator	This package contains the translator from Alloy4 to CNF (using kodkod).

Uses of ExprITE in edu.mit.csail.sdg.alloy4compiler.ast

Methods in edu.mit.csail.sdg.alloy4compiler.ast with parameters of type ExprITE

abstract T	VisitReturn.visit(ExprITE x) Visits an ExprITE node.
T	VisitQuery.visit(ExprITE x) Visits an ExprITE node (C => X else Y) by calling accept() on C, X, then Y.

Uses of ExprITE in edu.mit.csail.sdg.alloy4compiler.sim

Methods in edu.mit.csail.sdg.alloy4compiler.sim with parameters of type ExprITE

java.lang.Object

SimInstance.visit(ExprITE x) Visits an ExprITE node.

Uses of ExprITE in edu.mit.csail.sdg.alloy4compiler.translator

Methods in edu.mit.csail.sdg.alloy4compiler.translator with parameters of type ExprITE

java.lang.Object

TranslateAlloyToKodkod.visit(ExprITE x) Visits an ExprITE node.