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 _

A

a - Variable in class edu.mit.csail.sdg.alloy4.Pair
The first half of the pair.
a() - Method in class edu.mit.csail.sdg.alloy4graph.GraphEdge
Returns the "from" node.
A4Options - Class in edu.mit.csail.sdg.alloy4compiler.translator
Mutable; this class encapsulates the customizable options of the Alloy-to-Kodkod translator.
A4Options() - Constructor for class edu.mit.csail.sdg.alloy4compiler.translator.A4Options
Constructs an A4Options object with default values for everything.
A4Options.SatSolver - Class in edu.mit.csail.sdg.alloy4compiler.translator
This enum defines the set of possible SAT solvers.
A4Reporter - Class in edu.mit.csail.sdg.alloy4
This class receives diagnostic, progress, and warning messages from Alloy4.
A4Reporter() - Constructor for class edu.mit.csail.sdg.alloy4.A4Reporter
Constructs a default A4Reporter object that does nothing.
A4Reporter(A4Reporter) - Constructor for class edu.mit.csail.sdg.alloy4.A4Reporter
Constructs an A4Reporter that forwards each method to the given A4Reporter.
A4Solution - Class in edu.mit.csail.sdg.alloy4compiler.translator
This class stores a SATISFIABLE or UNSATISFIABLE solution.
A4SolutionReader - Class in edu.mit.csail.sdg.alloy4compiler.translator
This helper class contains helper routines for reading an A4Solution object from an XML file.
A4SolutionWriter - Class in edu.mit.csail.sdg.alloy4compiler.translator
This helper class contains helper routines for writing an A4Solution object out as an XML file.
A4Tuple - Class in edu.mit.csail.sdg.alloy4compiler.translator
Immutable; represents a single Alloy tuple; comparison is by identity rather than by value.
A4TupleSet - Class in edu.mit.csail.sdg.alloy4compiler.translator
Immutable; represents a collection of Alloy tuples; comparison is by identity rather than by value.
ABSTRACT - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.Attr
ABSTRACT; if a PrimSig is abstract, it is equal to the union of its subsigs.
ABSTRACT - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym
 
action_obj - Variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompParser
Instance of action encapsulation class.
action_tab - Variable in class java_cup.runtime.lr_parser
Direct reference to the action table.
action_table() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompParser
Access to parse-action table.
action_table() - Method in class java_cup.runtime.lr_parser
The action table (supplied by generated subclass).
actionPerformed(ActionEvent) - Method in class edu.mit.csail.sdg.alloy4.Runner
This method is defined in java.awt.event.ActionListener; (this implementation calls this.run())
add(T) - Method in class edu.mit.csail.sdg.alloy4.ConstList.TempList
Appends the given element to the list, then return itself.
add(Listener) - Method in class edu.mit.csail.sdg.alloy4.Listeners
Add a listener to this group of listeners (if not already in the list)
add(T) - Method in class edu.mit.csail.sdg.alloy4.SafeList
Add an element into the list.
add(int, int, int, int) - Method in class edu.mit.csail.sdg.alloy4graph.AvailableSpace
Add the given rectangle to the list of rectangles in this space.
addAll(Iterable<? extends T>) - Method in class edu.mit.csail.sdg.alloy4.ConstList.TempList
Appends the elements in the given collection to the list, then return itself.
addAll(Collection<? extends T>) - Method in class edu.mit.csail.sdg.alloy4.SafeList
Add a collection of elements into the list.
addArg(Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprList
Return a new ExprList object that is the same as this one except with one additional argument.
addCallback(Func, SimCallback) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance
Register a callback.
addDefinedField(Pos, Pos, Pos, String, Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig
Add then return a new field F where this.F is bound to an exact "definition" expression.
addEdge(N, N) - Method in class edu.mit.csail.sdg.alloy4.DirectedGraph
Add a directed edge from start node to end node (if there wasn't such an edge already).
addFact(Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig
Add a new per-atom fact; this expression is allowed to refer to this.decl.get()
addField(String, Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig
Add then return a new field, where "all x: ThisSig | x.F in bound"
addGlobal(String, Expr) - Method in interface edu.mit.csail.sdg.alloy4compiler.ast.Module
Add a global expression; if the name already exists, it is removed first.
addGlobal(String, Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule
Add a global expression; if the name already exists, it is removed first.
additionalExactScopes - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Command
This stores a list of Sig whose scope shall be considered "exact", but we may or may not know what its scope is yet.
addLabel(String) - Method in class edu.mit.csail.sdg.alloy4graph.GraphNode
Add the given label after the existing labels, then invalidate the computed bounds.
addLegend(Comparable<?>, String, Color) - Method in class edu.mit.csail.sdg.alloy4graph.Graph
Add a legend with the given object and the associated text label; if color==null, that means we will still add this legend into the list of legends, but this legend will be hidden.
addMinMaxActions(JMenu) - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI
This method inserts "Minimize" and "Maximize" entries into a JMenu.
addTo(JComponent, Object) - Method in class edu.mit.csail.sdg.alloy4.OurSyntaxWidget
Add this object into the given container.
addTo(JComponent, Object) - Method in class edu.mit.csail.sdg.alloy4.OurTabbedSyntaxWidget
Add this object into the given container.
addTrickyField(Pos, Pos, Pos, Pos, Pos, String[], Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig
Add then return a new field, where "all x: ThisSig | x.F in bound"
advance_lookahead() - Method in class java_cup.runtime.lr_parser
Advance to next "parse ahead" input Symbol.
ahead() - Method in class edu.mit.csail.sdg.alloy4graph.GraphEdge
Returns true if we will draw an arrow head on the "from" node.
alert(Object) - Static method in class edu.mit.csail.sdg.alloy4.OurDialog
Popup the given error message.
alias - Variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule.Open
The alias for this open declaration; always a nonempty string.
ALL - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym
 
ALL2 - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym
 
ALL_OFF - Static variable in class edu.mit.csail.sdg.alloy4.OurCheckbox
The icon to use when the checkbox is off entirely.
ALL_ON - Static variable in class edu.mit.csail.sdg.alloy4.OurCheckbox
The icon to use when the checkbox is on entirely.
alloy2kodkod(A4Solution, Expr) - Static method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateAlloyToKodkod
Translate the Alloy expression into an equivalent Kodkod Expression or IntExpression or Formula object.
alloy_filename - Variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompLexer
 
alloy_lineoffset - Variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompLexer
 
alloy_module - Variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompLexer
 
alloy_seenDollar - Variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompLexer
 
AlloyAtom - Class in edu.mit.csail.sdg.alloy4viz
Immutable; represents an Alloy atom in an instance.
AlloyAtom(AlloyType, int) - Constructor for class edu.mit.csail.sdg.alloy4viz.AlloyAtom
Create a new AlloyAtom with the given type and index.
AlloyAtom(AlloyType, int, String) - Constructor for class edu.mit.csail.sdg.alloy4viz.AlloyAtom
Create a new AlloyAtom with the given type, index, and label.
AlloyElement - Class in edu.mit.csail.sdg.alloy4viz
Immutable; it's the abstract superclass extended by AlloyType, AlloySet, and AlloyRelation.
alloyGetAnnotationAtXY(int, int) - Method in class edu.mit.csail.sdg.alloy4graph.GraphViewer
Returns the annotation for the node or edge at location x,y (or null if none)
alloyGetHighlightedAnnotation() - Method in class edu.mit.csail.sdg.alloy4graph.GraphViewer
Returns the annotation for the currently highlighted node/edge (or null if none)
alloyGetSelectedAnnotation() - Method in class edu.mit.csail.sdg.alloy4graph.GraphViewer
Returns the annotation for the currently selected node/edge (or null if none)
alloyGetViewer() - Method in class edu.mit.csail.sdg.alloy4viz.VizGraphPanel
Retrieves the actual GraphViewer object that contains the graph (or null if the graph hasn't loaded yet)
AlloyInstance - Class in edu.mit.csail.sdg.alloy4viz
Immutable; represents an Alloy instance that can be displayed in the visualizer.
AlloyInstance(A4Solution, String, String, AlloyModel, Map<AlloyAtom, Set<AlloySet>>, Map<AlloyRelation, Set<AlloyTuple>>, boolean) - Constructor for class edu.mit.csail.sdg.alloy4viz.AlloyInstance
Create a new instance.
AlloyModel - Class in edu.mit.csail.sdg.alloy4viz
Immutable; represents an Alloy model.
AlloyModel(Collection<AlloyType>, Collection<AlloySet>, Collection<AlloyRelation>, Map<AlloyType, AlloyType>) - Constructor for class edu.mit.csail.sdg.alloy4viz.AlloyModel
Construct a new AlloyModel object.
AlloyModel(Collection<AlloyType>, Collection<AlloySet>, Collection<AlloyRelation>, AlloyModel) - Constructor for class edu.mit.csail.sdg.alloy4viz.AlloyModel
Construct a new AlloyModel object.
alloymodule - Variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompParser
 
AlloyNodeElement - Class in edu.mit.csail.sdg.alloy4viz
Immutable; it's the abstract superclass extended by both AlloyType and AlloySet.
alloyPopup(Component, int, int) - Method in class edu.mit.csail.sdg.alloy4graph.GraphViewer
Show the popup menu at location (x,y)
AlloyProjection - Class in edu.mit.csail.sdg.alloy4viz
Immutable; represents a set of types to be projected, plus the exact atom chosen for each type to be projected.
AlloyProjection(Map<AlloyType, AlloyAtom>) - Constructor for class edu.mit.csail.sdg.alloy4viz.AlloyProjection
Constructs a new AlloyProjection object based on the set of types to be projected and the exact atoms chosen.
AlloyProjection() - Constructor for class edu.mit.csail.sdg.alloy4viz.AlloyProjection
Constructs an empty AlloyProjection object, with an empty projection list.
AlloyRelation - Class in edu.mit.csail.sdg.alloy4viz
Immutable; represents an Alloy relation of 2 or higher arity.
AlloyRelation(String, boolean, boolean, List<AlloyType>) - Constructor for class edu.mit.csail.sdg.alloy4viz.AlloyRelation
Constructs a new AlloyRelation with that name and that list of types; types.size() must be 2 or above.
alloyRepaint() - Method in class edu.mit.csail.sdg.alloy4graph.GraphViewer
Repaint this component.
alloySaveAs() - Method in class edu.mit.csail.sdg.alloy4graph.GraphViewer
Export the current drawing as a PNG or PDF file by asking the user for the filename and the image resolution.
alloySaveAsPDF(String, int) - Method in class edu.mit.csail.sdg.alloy4graph.GraphViewer
Export the current drawing as a PDF file with the given image resolution.
alloySaveAsPNG(String, double, double, double) - Method in class edu.mit.csail.sdg.alloy4graph.GraphViewer
Export the current drawing as a PNG file with the given file name and image resolution.
AlloySet - Class in edu.mit.csail.sdg.alloy4viz
Immutable; represents an Alloy set in an instance.
AlloySet(String, boolean, boolean, AlloyType) - Constructor for class edu.mit.csail.sdg.alloy4viz.AlloySet
Constructs a new AlloySet object.
AlloyTuple - Class in edu.mit.csail.sdg.alloy4viz
Immutable; represents an Alloy tuple.
AlloyTuple(List<AlloyAtom>) - Constructor for class edu.mit.csail.sdg.alloy4viz.AlloyTuple
Creates a new AlloyTuple containing the atoms specified by the list; atoms.size() must be 2 or above.
AlloyTuple(AlloyAtom...) - Constructor for class edu.mit.csail.sdg.alloy4viz.AlloyTuple
Creates a new AlloyTuple containing the atoms specified by the list; atoms.size() must be 2 or above.
AlloyType - Class in edu.mit.csail.sdg.alloy4viz
Immutable; represents an Alloy toplevel signature or an Alloy subsignature.
AlloyType(String, boolean, boolean, boolean, boolean, boolean, boolean) - Constructor for class edu.mit.csail.sdg.alloy4viz.AlloyType
Constructs an AlloyType object with that name.
ambiguous - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Expr
True if this expression is not fully resolved.
AMPERSAND - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym
 
and(Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr
Returns the formula (this and x)
AND - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym
 
any_arrow_lone(Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr
Returns the multiplicity constraint (this set->lone x)
ANY_ARROW_LONE - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym
 
any_arrow_one(Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr
Returns the multiplicity constraint (this set->one x)
ANY_ARROW_ONE - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym
 
any_arrow_some(Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr
Returns the multiplicity constraint (this set->some x)
ANY_ARROW_SOME - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym
 
append(List<T>, T) - Static method in class edu.mit.csail.sdg.alloy4.Util
Copy the input list, append "element" to it, then return the result as an unmodifiable list.
append(T[], T) - Static method in class edu.mit.csail.sdg.alloy4.Util
Copy the input array, append "element" to it, then return the result as a new array.
append(SimAtom) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTuple
Append the given atom to the back of this tuple, then return the resulting new Tuple.
args - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBadCall
The unmodifiable list of arguments.
args - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprCall
The list of arguments to the call.
args - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprList
The unmodifiable list of arguments.
args - Variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule.Open
The unmodifiable list of instantiating arguments.
arity() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Type
If every entry has the same arity, that arity is returned;
else if some entries have different arities, we return -1;
else we return 0 (which only happens when there are no entries at all).
arity() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Type.ProductType
Returns the arity of this ProductType object.
arity() - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTuple
Returns the arity of this tuple.
arity() - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset
If this tupleset is empty, then return 0, else return the arity of every tuple in this tupleset.
arity() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Tuple
Returns the arity.
arity() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4TupleSet
Returns the arity.
ARROW - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym
 
Artist - Class in edu.mit.csail.sdg.alloy4graph
This class abstracts the drawing operations so that we can draw the graph using different frameworks such as Java2D or PDF.
Artist(Graphics2D) - Constructor for class edu.mit.csail.sdg.alloy4graph.Artist
Construct an artist that acts as a wrapper around the given Graphics2D object.
Artist(OurPDFWriter) - Constructor for class edu.mit.csail.sdg.alloy4graph.Artist
Construct an artist that acts as a wrapper around the given OurPDFWriter object.
AS - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym
 
askFile(boolean, String, String, String) - Static method in class edu.mit.csail.sdg.alloy4.OurDialog
Use the platform's preferred file chooser to ask the user to select a file.
askFont() - Static method in class edu.mit.csail.sdg.alloy4.OurDialog
Asks the user to choose a font; returns "" if the user cancels the request.
askOverwrite(String) - Static method in class edu.mit.csail.sdg.alloy4.OurDialog
Ask if the user really wishes to overwrite the file (default is no).
askSaveDiscardCancel(String) - Static method in class edu.mit.csail.sdg.alloy4.OurDialog
Ask if the user wishes to save the file, discard the file, or cancel the entire operation (default is cancel).
asList(T...) - Static method in class edu.mit.csail.sdg.alloy4.Util
Returns an unmodifiable List with same elements as the array.
asMap(K[], V...) - Static method in class edu.mit.csail.sdg.alloy4.Util
Returns a newly created LinkedHashMap mapping each key to its corresponding value, in the given order.
ASSERT - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym
 
asSet(V...) - Static method in class edu.mit.csail.sdg.alloy4.Util
Returns a newly created LinkedHashSet containing the given elements in the given order.
AT - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym
 
atom(int) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Tuple
Returns the i-th atom in this Tuple.
atom2sets(AlloyAtom) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyInstance
Returns an unmodifiable sorted list of AlloySet(s) that this atom is in; answer can be an empty list.
atom2sig(A4Solution) - Static method in class edu.mit.csail.sdg.alloy4whole.Helper
Given an A4Solution, return a map that maps every atom to its most specific signature.
Attr - Class in edu.mit.csail.sdg.alloy4compiler.ast
Immutable; represents attributes that can be associated with Signatures and some other AST objects.
Attr.AttrType - Enum in edu.mit.csail.sdg.alloy4compiler.ast
This class contains all possible attribute types.
attribute - Variable in class edu.mit.csail.sdg.alloy4viz.VizState
 
attributes() - Method in class edu.mit.csail.sdg.alloy4.XMLNode
Returns an unmodifiable view of the attributes.
attributes - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig
Store the list of attributes.
AvailableSpace - Class in edu.mit.csail.sdg.alloy4graph
Mutable; this allows you to compute whether a rectangle overlaps with a set of rectangles or not.
AvailableSpace() - Constructor for class edu.mit.csail.sdg.alloy4graph.AvailableSpace
Construct an empty space.

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 _