A B C D E F G H I J K L M N O P R S T U V W X Y Z _

E

edgeColor - Variable in class edu.mit.csail.sdg.alloy4viz.VizState

edges - Variable in class edu.mit.csail.sdg.alloy4graph.Graph

An unmodifiable view of the list of edges.

edgeStyle - Variable in class edu.mit.csail.sdg.alloy4viz.VizState

edgeVisible - Variable in class edu.mit.csail.sdg.alloy4viz.VizState

edu.mit.csail.sdg.alloy4 - package edu.mit.csail.sdg.alloy4

This package contains general data structures and helper classes.

edu.mit.csail.sdg.alloy4compiler.ast - package edu.mit.csail.sdg.alloy4compiler.ast

This package contains the definition of AST nodes.

edu.mit.csail.sdg.alloy4compiler.parser - package edu.mit.csail.sdg.alloy4compiler.parser

This package contains the compiler

edu.mit.csail.sdg.alloy4compiler.sim - package edu.mit.csail.sdg.alloy4compiler.sim

This package contains a pure-Java evaluator/simulator for Alloy4 instances.

edu.mit.csail.sdg.alloy4compiler.translator - package edu.mit.csail.sdg.alloy4compiler.translator

This package contains the translator from Alloy4 to CNF (using kodkod).

edu.mit.csail.sdg.alloy4graph - package edu.mit.csail.sdg.alloy4graph

This package performs graph layout.

edu.mit.csail.sdg.alloy4viz - package edu.mit.csail.sdg.alloy4viz

This package displays Alloy4 instances.

edu.mit.csail.sdg.alloy4whole - package edu.mit.csail.sdg.alloy4whole

This package contains a simple GUI client, as well as several examples on using the API.

ELSE - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

EMPTY - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.Type

Constant value with is_int==false, is_bool==false, and entries.size()==0.

EMPTY - Static variable in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

The tupleset containing no tuples.

empty() - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

Returns true if this is empty.

empty() - Method in class java_cup.runtime.virtual_parse_stack

Indicate whether the stack is empty.

EMPTYNESS - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprConstant

The "emptyness" constant.

EMPTYSTRING - Static variable in class edu.mit.csail.sdg.alloy4compiler.sim.SimAtom

Preconstructed atom representing emptystring.

enableAll(JMenu) - Static method in class edu.mit.csail.sdg.alloy4.OurUtil

Convenience method that recursively enables every JMenu and JMenuItem inside "menu".

enableAntiAlias(boolean) - Static method in class edu.mit.csail.sdg.alloy4.OurAntiAlias

Changes whether anti-aliasing should be done or not (when changed, we will automatically repaint all affected components).

enableSyntax(boolean) - Method in class edu.mit.csail.sdg.alloy4.OurTabbedSyntaxWidget

Enables or disables syntax highlighting.

encode(String) - Static method in class edu.mit.csail.sdg.alloy4.Util

Encode special characters of a String using XML/HTML encoding.

encodeXML(PrintWriter, String) - Static method in class edu.mit.csail.sdg.alloy4.Util

Write a String into a PrintWriter, and encode special characters using XML-specific encoding.

encodeXML(StringBuilder, String) - Static method in class edu.mit.csail.sdg.alloy4.Util

Write a String into a StringBuilder, and encode special characters using XML-specific encoding.

encodeXMLs(PrintWriter, String...) - Static method in class edu.mit.csail.sdg.alloy4.Util

Write a list of Strings into a PrintWriter, where strs[2n] are written as-is, and strs[2n+1] are XML-encoded.

encodeXMLs(StringBuilder, String...) - Static method in class edu.mit.csail.sdg.alloy4.Util

Write a list of Strings into a StringBuilder, where strs[2n] are written as-is, and strs[2n+1] are XML-encoded.

endingScope - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.CommandScope

The ending scope; if this sig is not a growing sig, then this.startingScope==this.endingScope.

endWith(SimTuple) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

Return the set of tuples which ends with the given tuple (where we remove the "matching trailing part")

entrySet() - Method in class edu.mit.csail.sdg.alloy4.ConstMap

Returns an unmodifiable view of the mappings in this map.

ENUM - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.Attr

ENUM; if a PrimSig has the ENUM attribute, it is toplevel and abstract and has only singleton children.

ENUM - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

Env<K,V> - Class in edu.mit.csail.sdg.alloy4

Mutable; implements a undoable map based on hashCode() and equals(); null key and values are allowed.

Env() - Constructor for class edu.mit.csail.sdg.alloy4.Env

Constructs an initially empty environment.

EOF - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

EOF_sym() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompParser

EOF Symbol index.

EOF_sym() - Method in class java_cup.runtime.lr_parser

The index of the end of file terminal Symbol (supplied by generated subclass).

equal(Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Returns the formula (this==x)

equal(Expr, Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Helper method that evaluates the formula "a = b"

equals(Object) - Method in exception edu.mit.csail.sdg.alloy4.Err

Two Err objects are equal if the type, position, and message are the same.

equals(Object) - Method in class edu.mit.csail.sdg.alloy4.Pair

Pairs (a1, b1) and (a2, b2) are equal iff (a1==null ? a2==null : a1.equals(a2)) and (b1==null ? b2==null : b1.equals(b2))

equals(Object) - Method in class edu.mit.csail.sdg.alloy4.Pos

Two Pos objects are equal if the filename x y x2 y2 are the same.

equals(Object) - Method in class edu.mit.csail.sdg.alloy4.SafeList

Returns true if (that instanceof List or that instanceof SafeList), and that contains the same elements as this list.

equals(Object) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

equals(Object) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Type

Returns true iff ((this subsumes that) and (that subsumes this))

equals(Object) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Type.ProductType

Returns true if this.arity==that.arity and this.types[i]==that.types[i] for each i

EQUALS - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

equals(Object) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimAtom

equals(Object) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTuple

equals(Object) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

Returns true if this contains the same tuples as that.

equals(SimTupleset) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

Returns true if this contains the same tuples as that.

equals(Object) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyAtom

Two AlloyAtoms are equal if they have the same type, same index, and same original name.

equals(Object) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyInstance

Two instances are equal if they have the same filename, same commands, same model, and same atoms and tuples relationships.

equals(Object) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyModel

Two AlloyModel objects are equal if they have the same types, sets, relations, and extension relationship.

equals(Object) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyProjection

AlloyProjections are equal if they are projecting over the same types, each type with the same chosen value.

equals(Object) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyRelation

Two relations are equal if they have the same name, and the same list of types.

equals(Object) - Method in class edu.mit.csail.sdg.alloy4viz.AlloySet

Two sets are equal if they have the same name and the same type.

equals(Object) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyTuple

Two tuples are equal if they have the same atoms in the same order.

equals(Object) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyType

Two types are equal if they have the same name.

Err - Exception in edu.mit.csail.sdg.alloy4

Immutable; this is the abstract parent class of the various possible errors.

error - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

error_recovery(boolean) - Method in class java_cup.runtime.lr_parser

Attempt to recover from a syntax error.

error_sym() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompParser

error Symbol index.

error_sym() - Method in class java_cup.runtime.lr_parser

The index of the special error Symbol (supplied by generated subclass).

error_sync_size() - Method in class java_cup.runtime.lr_parser

The number of Symbols after an error we much match to consider it recovered from.

ErrorAPI - Exception in edu.mit.csail.sdg.alloy4

Immutable; this represents an API usage error.

ErrorAPI(String) - Constructor for exception edu.mit.csail.sdg.alloy4.ErrorAPI

Constructs a new API usage error.

ErrorAPI(String, Throwable) - Constructor for exception edu.mit.csail.sdg.alloy4.ErrorAPI

Constructs a new API usage error with "cause" as the underlying cause.

ErrorAPI(Pos, String) - Constructor for exception edu.mit.csail.sdg.alloy4.ErrorAPI

Constructs a new API usage error.

ErrorFatal - Exception in edu.mit.csail.sdg.alloy4

Immutable; this represents a fatal error.

ErrorFatal(String) - Constructor for exception edu.mit.csail.sdg.alloy4.ErrorFatal

Constructs a new fatal error.

ErrorFatal(String, Throwable) - Constructor for exception edu.mit.csail.sdg.alloy4.ErrorFatal

Constructs a new fatal error with "cause" as the underlying cause.

ErrorFatal(Pos, String) - Constructor for exception edu.mit.csail.sdg.alloy4.ErrorFatal

Constructs a new fatal error.

errors - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

The list of errors on this node; nonempty iff this.type==EMPTY

ErrorSyntax - Exception in edu.mit.csail.sdg.alloy4

Immutable; this represents a syntax error that should be reported to the user.

ErrorSyntax(String) - Constructor for exception edu.mit.csail.sdg.alloy4.ErrorSyntax

Constructs a new syntax error.

ErrorSyntax(String, Throwable) - Constructor for exception edu.mit.csail.sdg.alloy4.ErrorSyntax

Constructs a new syntax error with "cause" as the underlying cause.

ErrorSyntax(Pos, String) - Constructor for exception edu.mit.csail.sdg.alloy4.ErrorSyntax

Constructs a new syntax error.

ErrorType - Exception in edu.mit.csail.sdg.alloy4

Immutable; this represents a type error that should be reported to the user.

ErrorType(String) - Constructor for exception edu.mit.csail.sdg.alloy4.ErrorType

Constructs a new type error.

ErrorType(String, Throwable) - Constructor for exception edu.mit.csail.sdg.alloy4.ErrorType

Constructs a new type error with "cause" as the underlying cause.

ErrorType(Pos, String) - Constructor for exception edu.mit.csail.sdg.alloy4.ErrorType

Constructs a new type error.

ErrorWarning - Exception in edu.mit.csail.sdg.alloy4

Immutable; this represents a nonfatal warning that should be reported to the user.

ErrorWarning(String) - Constructor for exception edu.mit.csail.sdg.alloy4.ErrorWarning

Constructs a new warning.

ErrorWarning(String, Throwable) - Constructor for exception edu.mit.csail.sdg.alloy4.ErrorWarning

Constructs a new warning with "cause" as the underlying cause.

ErrorWarning(Pos, String) - Constructor for exception edu.mit.csail.sdg.alloy4.ErrorWarning

Constructs a new warning.

eval(Sig) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution

Return the A4TupleSet for the given sig (if solution not yet solved, or unsatisfiable, or sig not found, then return an empty tupleset)

eval(Sig.Field) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution

Return the A4TupleSet for the given field (if solution not yet solved, or unsatisfiable, or field not found, then return an empty tupleset)

eval(Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution

If this solution is solved and satisfiable, evaluates the given expression and returns an A4TupleSet, a java Integer, or a java Boolean.

EXACT - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.Attr

EXACT; if a SubsetSig is exact, it is equal to the union of its parents.

exact - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig.SubsetSig

If true, then this sig is EXACTLY equal to the union of its parents.

EXACTLY - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

ExampleUsingTheAPI - Class in edu.mit.csail.sdg.alloy4whole

This class demonstrates how to access Alloy4 via the API.

ExampleUsingTheAPI() - Constructor for class edu.mit.csail.sdg.alloy4whole.ExampleUsingTheAPI

ExampleUsingTheCompiler - Class in edu.mit.csail.sdg.alloy4whole

This class demonstrates how to access Alloy4 via the compiler methods.

ExampleUsingTheCompiler() - Constructor for class edu.mit.csail.sdg.alloy4whole.ExampleUsingTheCompiler

exec(long, String[]) - Static method in class edu.mit.csail.sdg.alloy4.Subprocess

Executes the given command line, wait for its completion, then return its output.

execute_command(A4Reporter, Iterable<Sig>, Command, A4Options) - Static method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateAlloyToKodkod

Based on the specified "options", execute one command and return the resulting A4Solution object.

execute_commandFromBook(A4Reporter, Iterable<Sig>, Command, A4Options) - Static method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateAlloyToKodkod

Based on the specified "options", execute one command and return the resulting A4Solution object.

EXH - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

EXPECT - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

expects - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Command

The expected answer (either 0 or 1) (Or -1 if there is no expected answer).

experimental - Static variable in class edu.mit.csail.sdg.alloy4.Version

This is true if this is an experimental version rather than a release version.

expr - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Decl

The value that the list of names are bound to.

Expr - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents a formula or expression.

expr - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprLet

The expression bound to the LET variable.

ExprBad - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents an illegal node.

ExprBad(Pos, String, Err) - Constructor for class edu.mit.csail.sdg.alloy4compiler.ast.ExprBad

Constructs an ExprBad object.

ExprBadCall - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents an illegal pred/fun call.

ExprBadJoin - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents an illegal relation join.

ExprBinary - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents an expression of the form (x OP y).

ExprBinary.Op - Enum in edu.mit.csail.sdg.alloy4compiler.ast

This class contains all possible binary operators.

ExprCall - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents a call.

ExprChoice - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents an unresolved node that has several possibilities.

ExprConstant - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents a constant in the AST.

ExprConstant.Op - Enum in edu.mit.csail.sdg.alloy4compiler.ast

This class contains all possible constant types.

ExprCustom - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents a custom node.

ExprCustom(Pos, Err) - Constructor for class edu.mit.csail.sdg.alloy4compiler.ast.ExprCustom

Constructs an ExprCustom object.

ExprHasName - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents a named entity (such as a Field, or a LET or QUANTIFICATION variable, or a function/predicate parameter).

ExprITE - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents an if-then-else expression.

ExprLet - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents an expression of the form (let a=b | x).

ExprList - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents disjoint[] or pred/totalOrder[] or (...

ExprList.Op - Enum in edu.mit.csail.sdg.alloy4compiler.ast

This class contains all possible builtin predicates.

ExprQt - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents a quantified expression.

ExprQt.Op - Enum in edu.mit.csail.sdg.alloy4compiler.ast

This class contains all possible quantification operators.

ExprUnary - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents a unary expression of the form "(OP subexpression)"

ExprUnary.Op - Enum in edu.mit.csail.sdg.alloy4compiler.ast

This class contains all possible unary operators.

ExprVar - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents a LET or QUANTIFICATION variable in the AST.

EXTENDS - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

EXTENDS - Static variable in class edu.mit.csail.sdg.alloy4viz.AlloyRelation

This caches an instance of the "extends" AlloyRelation, so we don't have to keep re-constructing it.

external() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Options.SatSolver

Returns the executable for the external command-line solver to use (or null if this solver does not use an external commandline solver)

extract(int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Type

Returns a new type { A | (A in this) and (A.arity == arity) }

extraWeight - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBadCall

The extra weight added to this node on top of the combined weights of the arguments.

extraWeight - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprCall

The extra weight added to this node on top of the combined weights of the arguments.