|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use edu.mit.csail.sdg.alloy4compiler.ast | |
|---|---|
| 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.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). |
| edu.mit.csail.sdg.alloy4whole | This package contains a simple GUI client, as well as several examples on using the API. |
| Classes in edu.mit.csail.sdg.alloy4compiler.ast used by edu.mit.csail.sdg.alloy4compiler.ast | |
|---|---|
| Attr
Immutable; represents attributes that can be associated with Signatures and some other AST objects. |
|
| Attr.AttrType
This class contains all possible attribute types. |
|
| Browsable
This abstract class represents a node that can be browsed in the graphical parse tree viewer. |
|
| Command
Immutable; reresents a "run" or "check" command. |
|
| CommandScope
Immutable; reresents a scope in a "run" or "check" command. |
|
| Decl
Immutable; this declaration binds a list of names to an expression. |
|
| Expr
Immutable; represents a formula or expression. |
|
| ExprBad
Immutable; represents an illegal node. |
|
| ExprBadCall
Immutable; represents an illegal pred/fun call. |
|
| ExprBadJoin
Immutable; represents an illegal relation join. |
|
| ExprBinary
Immutable; represents an expression of the form (x OP y). |
|
| ExprBinary.Op
This class contains all possible binary operators. |
|
| ExprCall
Immutable; represents a call. |
|
| ExprConstant
Immutable; represents a constant in the AST. |
|
| ExprConstant.Op
This class contains all possible constant types. |
|
| ExprHasName
Immutable; represents a named entity (such as a Field, or a LET or QUANTIFICATION variable, or a function/predicate parameter). |
|
| ExprITE
Immutable; represents an if-then-else expression. |
|
| ExprLet
Immutable; represents an expression of the form (let a=b | x). |
|
| ExprList
Immutable; represents disjoint[] or pred/totalOrder[] or (... |
|
| ExprList.Op
This class contains all possible builtin predicates. |
|
| ExprQt
Immutable; represents a quantified expression. |
|
| ExprQt.Op
This class contains all possible quantification operators. |
|
| ExprUnary
Immutable; represents a unary expression of the form "(OP subexpression)" |
|
| ExprUnary.Op
This class contains all possible unary operators. |
|
| ExprVar
Immutable; represents a LET or QUANTIFICATION variable in the AST. |
|
| Func
Mutable; represents a predicate or function. |
|
| Module
This interface represents an Alloy module. |
|
| Sig
Mutable; represents a signature. |
|
| Sig.Field
Mutable; represents a field. |
|
| Sig.PrimSig
Mutable; reresents a non-subset signature. |
|
| Type
Immutable; represents the type of an expression. |
|
| Type.ProductType
Immutable; represents a list of PrimSig objects. |
|
| VisitReturn
This abstract class defines what a Return Visitor's interface needs to be. |
|
| Classes in edu.mit.csail.sdg.alloy4compiler.ast used by edu.mit.csail.sdg.alloy4compiler.parser | |
|---|---|
| Browsable
This abstract class represents a node that can be browsed in the graphical parse tree viewer. |
|
| Command
Immutable; reresents a "run" or "check" command. |
|
| Expr
Immutable; represents a formula or expression. |
|
| Func
Mutable; represents a predicate or function. |
|
| Module
This interface represents an Alloy module. |
|
| Sig
Mutable; represents a signature. |
|
| Sig.PrimSig
Mutable; reresents a non-subset signature. |
|
| Classes in edu.mit.csail.sdg.alloy4compiler.ast used by edu.mit.csail.sdg.alloy4compiler.sim | |
|---|---|
| Expr
Immutable; represents a formula or expression. |
|
| ExprBinary
Immutable; represents an expression of the form (x OP y). |
|
| ExprCall
Immutable; represents a call. |
|
| ExprConstant
Immutable; represents a constant in the AST. |
|
| ExprITE
Immutable; represents an if-then-else expression. |
|
| ExprLet
Immutable; represents an expression of the form (let a=b | x). |
|
| ExprList
Immutable; represents disjoint[] or pred/totalOrder[] or (... |
|
| ExprQt
Immutable; represents a quantified expression. |
|
| ExprUnary
Immutable; represents a unary expression of the form "(OP subexpression)" |
|
| ExprVar
Immutable; represents a LET or QUANTIFICATION variable in the AST. |
|
| Func
Mutable; represents a predicate or function. |
|
| Module
This interface represents an Alloy module. |
|
| Sig
Mutable; represents a signature. |
|
| Sig.Field
Mutable; represents a field. |
|
| VisitReturn
This abstract class defines what a Return Visitor's interface needs to be. |
|
| Classes in edu.mit.csail.sdg.alloy4compiler.ast used by edu.mit.csail.sdg.alloy4compiler.translator | |
|---|---|
| Command
Immutable; reresents a "run" or "check" command. |
|
| Expr
Immutable; represents a formula or expression. |
|
| ExprBinary
Immutable; represents an expression of the form (x OP y). |
|
| ExprCall
Immutable; represents a call. |
|
| ExprConstant
Immutable; represents a constant in the AST. |
|
| ExprITE
Immutable; represents an if-then-else expression. |
|
| ExprLet
Immutable; represents an expression of the form (let a=b | x). |
|
| ExprList
Immutable; represents disjoint[] or pred/totalOrder[] or (... |
|
| ExprQt
Immutable; represents a quantified expression. |
|
| ExprUnary
Immutable; represents a unary expression of the form "(OP subexpression)" |
|
| ExprVar
Immutable; represents a LET or QUANTIFICATION variable in the AST. |
|
| Func
Mutable; represents a predicate or function. |
|
| Sig
Mutable; represents a signature. |
|
| Sig.Field
Mutable; represents a field. |
|
| Sig.PrimSig
Mutable; reresents a non-subset signature. |
|
| Type
Immutable; represents the type of an expression. |
|
| VisitReturn
This abstract class defines what a Return Visitor's interface needs to be. |
|
| Classes in edu.mit.csail.sdg.alloy4compiler.ast used by edu.mit.csail.sdg.alloy4whole | |
|---|---|
| Sig.PrimSig
Mutable; reresents a non-subset signature. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||