Uses of Class
edu.mit.csail.sdg.alloy4compiler.ast.Sig.Field

Packages that use Sig.Field

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

Methods in edu.mit.csail.sdg.alloy4compiler.ast that return Sig.Field

Sig.Field	Sig.addDefinedField(Pos pos, Pos isPrivate, Pos isMeta, java.lang.String label, Expr bound) Add then return a new field F where this.F is bound to an exact "definition" expression.
Sig.Field	Sig.addField(java.lang.String label, Expr bound) Add then return a new field, where "all x: ThisSig | x.F in bound"
Sig.Field[]	Sig.addTrickyField(Pos pos, Pos isPrivate, Pos isDisjoint, Pos isDisjoint2, Pos isMeta, java.lang.String[] labels, Expr bound) Add then return a new field, where "all x: ThisSig | x.F in bound"

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

SafeList<Sig.Field>

Sig.getFields() Return the list of fields as a combined unmodifiable list (without telling you which fields are declared to be disjoint)

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

abstract T	VisitReturn.visit(Sig.Field x) Visits a Field node.
T	VisitQuery.visit(Sig.Field x) Visits a Field node (this default implementation simply returns null)

Uses of Sig.Field in edu.mit.csail.sdg.alloy4compiler.sim

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

void	SimInstance.init(Sig.Field field, SimTupleset value) Initializes the given field to be associated with the given unary value; should only be called at the beginning.
SimTupleset	SimInstance.visit(Sig.Field x) Visits a Field node.

Uses of Sig.Field in edu.mit.csail.sdg.alloy4compiler.translator

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

A4TupleSet	A4Solution.eval(Sig.Field field) Return the A4TupleSet for the given field (if solution not yet solved, or unsatisfiable, or field not found, then return an empty tupleset)
java.lang.Object	TranslateAlloyToKodkod.visit(Sig.Field x) Visits a Field node.