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

Packages that use ExprVar

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

Fields in edu.mit.csail.sdg.alloy4compiler.ast declared as ExprVar

ExprVar

ExprLet.var The LET variable.

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

ExprVar	Func.get(int i) Return the i-th parameter where i goes from 0 to count()-1
ExprVar	ExprQt.get(int i) Return the i-th variable.
static ExprVar	ExprVar.make(Pos pos, java.lang.String label) Constructs an ExprVar variable with the EMPTY type
static ExprVar	ExprVar.make(Pos pos, java.lang.String label, Type type) Constructs an ExprVar variable with the given type

Methods in edu.mit.csail.sdg.alloy4compiler.ast that return types with arguments of type ExprVar

java.util.List<ExprVar>

Func.params() Return the list of all parameters.

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

boolean	Expr.hasVar(ExprVar goal) Returns true if the node is well-typed, unambiguous, and contains the given variable.
static Expr	ExprLet.make(Pos pos, ExprVar var, Expr expr, Expr sub) Constructs a LET expression.
abstract T	VisitReturn.visit(ExprVar x) Visits an ExprVar node.
T	VisitQuery.visit(ExprVar x) Visits a ExprVar node (this default implementation simply returns null)

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

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

void	SimInstance.init(ExprVar var, SimTupleset value) Initializes the given var to be associated with the given unary value; should only be called at the beginning.
java.lang.Object	SimInstance.visit(ExprVar x) Visits an ExprVar node.

Method parameters in edu.mit.csail.sdg.alloy4compiler.sim with type arguments of type ExprVar

static SimInstance

SimInstance.read(Module root, java.lang.String filename, java.util.List<ExprVar> vars) Construct a new simulation context by reading the given file.

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

Methods in edu.mit.csail.sdg.alloy4compiler.translator that return types with arguments of type ExprVar

java.lang.Iterable<ExprVar>	A4Solution.getAllAtoms() Returns an unmodifiable copy of the list of all atoms if the problem is solved and is satisfiable; else returns an empty list.
java.lang.Iterable<ExprVar>	A4Solution.getAllSkolems() Returns an unmodifiable copy of the list of all skolems if the problem is solved and is satisfiable; else returns an empty list.

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

java.lang.Object

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