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

Packages that use ExprList

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 ExprList in edu.mit.csail.sdg.alloy4compiler.ast

Methods in edu.mit.csail.sdg.alloy4compiler.ast that return ExprList

ExprList	ExprList.addArg(Expr x) Return a new ExprList object that is the same as this one except with one additional argument.
static ExprList	ExprList.make(Pos pos, Pos closingBracket, ExprList.Op op, java.util.List<? extends Expr> args) Generates a call to a builtin predicate
static ExprList	ExprList.makeAND(Pos pos, Pos closingBracket, Expr a, Expr b) Generates the expression (arg1 and arg2)
static ExprList	ExprList.makeDISJOINT(Pos pos, Pos closingBracket, java.util.List<? extends Expr> args) Generates the expression disj[arg1, args2, arg3...]
static ExprList	ExprList.makeOR(Pos pos, Pos closingBracket, Expr a, Expr b) Generates the expression (arg1 || arg2)
static ExprList	ExprList.makeTOTALORDER(Pos pos, Pos closingBracket, java.util.List<? extends Expr> args) Generates the expression pred/totalOrder[arg1, args2, arg3...]

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

abstract T	VisitReturn.visit(ExprList x) Visits an ExprList node.
T	VisitQuery.visit(ExprList x) Visits an ExprList node F[X1,X2,X3..] by calling accept() on X1, X2, X3...

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

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

java.lang.Object

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

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

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

java.lang.Object

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