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

Packages that use ExprConstant

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

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

ExprConstant	ExprConstant.Op.make(Pos pos, int number) Makes an ExprConstant node
ExprConstant	ExprConstant.Op.make(Pos pos, java.lang.String string) Makes an ExprConstant node

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

abstract T	VisitReturn.visit(ExprConstant x) Visits an ExprConstant node.
T	VisitQuery.visit(ExprConstant x) Visits an ExprConstant node (this default implementation simply returns null)

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

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

java.lang.Object

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

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

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

java.lang.Object

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