Uses of Class
edu.mit.csail.sdg.alloy4.SafeList

Packages that use SafeList

edu.mit.csail.sdg.alloy4	This package contains general data structures and helper classes.
edu.mit.csail.sdg.alloy4compiler.ast	This package contains the definition of AST nodes.
edu.mit.csail.sdg.alloy4compiler.parser	This package contains the compiler
edu.mit.csail.sdg.alloy4compiler.translator	This package contains the translator from Alloy4 to CNF (using kodkod).

Uses of SafeList in edu.mit.csail.sdg.alloy4

Methods in edu.mit.csail.sdg.alloy4 that return SafeList

SafeList<T>

SafeList.dup() Constructs an unmodifiable copy of an existing SafeList.

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

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

SafeList<Sig.PrimSig>	Sig.PrimSig.children() Returns its immediate children sigs (not including NONE)
SafeList<Pair<java.lang.String,Expr>>	Module.getAllFacts() Return an unmodifiable list of all facts in this module.
SafeList<Func>	Module.getAllFunc() Return an unmodifiable list of all functions in this module.
SafeList<? extends Module>	Module.getAllReachableModules() Return the list containing THIS MODULE and all modules reachable from this module.
SafeList<Sig>	Module.getAllSigs() Returns an unmodifiable list of all signatures defined inside this module.
SafeList<Expr>	Sig.getFacts() Return the list of per-atom facts; each expression is allowed to refer to this.decl.get()
SafeList<Decl>	Sig.getFieldDecls() Return the list of fields as a unmodifiable list of declarations (where you can see which fields are declared to be disjoint)
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)

Uses of SafeList in edu.mit.csail.sdg.alloy4compiler.parser

Methods in edu.mit.csail.sdg.alloy4compiler.parser that return SafeList

SafeList<Pair<java.lang.String,Expr>>	CompModule.getAllFacts() Return an unmodifiable list of all facts in this module.
SafeList<Func>	CompModule.getAllFunc() Return an unmodifiable list of all functions in this module.
SafeList<CompModule>	CompModule.getAllReachableModules() Return the list containing THIS MODULE and all modules reachable from this module.
SafeList<Sig>	CompModule.getAllSigs() Returns an unmodifiable list of all signatures defined inside this module.

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

Methods in edu.mit.csail.sdg.alloy4compiler.translator that return SafeList

SafeList<Sig>	A4Solution.getAllReachableSigs() Returns an unmodifiable copy of the list of all sigs in this solution's model; always contains UNIV+SIGINT+SEQIDX+STRING+NONE and has no duplicates.
static SafeList<A4Options.SatSolver>	A4Options.SatSolver.values() Returns the list of SatSolver values.