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 _

C

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

Convenience method that calls this function with the given list of arguments.

callback(Object) - Method in interface edu.mit.csail.sdg.alloy4.WorkerEngine.WorkerCallback

The task would send zero or more non-null Objects to this handler (the objects will be serialized by the sub JVM and deserialized in the parent JVM).

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

Returns the canonical absolute path for a file.

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

Returns true if exists some A in this, some B in that, where (A.arity==B.arity, and A[0]&B[0]!=empty)

canProject(AlloyType) - Method in class edu.mit.csail.sdg.alloy4viz.VizState

Returns true iff the type is not univ, and it is a toplevel type.

canRedo() - Method in class edu.mit.csail.sdg.alloy4.OurSyntaxWidget

Returns true if we can perform redo right now.

canUndo() - Method in class edu.mit.csail.sdg.alloy4.OurSyntaxWidget

Returns true if we can perform undo right now.

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

Returns the integer expression (#this) truncated to the current integer bitwidth.

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

caretUpdate(CaretEvent) - Method in class edu.mit.csail.sdg.alloy4.Runner

This method is defined in java.awt.event.CaretListener; (this implementation calls this.run())

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

Returns the integer expression "int[this]"

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

Returns the singleton set "Int[this]"

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

Convenience method that evalutes x and casts the result to be a boolean.

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

Constructs a new Command object where it is the same as the current object, except with a different formula.

change(ConstList<CommandScope>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Command

Constructs a new Command object where it is the same as the current object, except with a different scope.

change(Sig...) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Command

Constructs a new Command object where it is the same as the current object, except with a different list of "additional exact sigs".

change(Sig, boolean, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Command

Constructs a new Command object where it is the same as the current object, except with a different scope for the given sig.

change(Sig, boolean, int, int, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Command

Constructs a new Command object where it is the same as the current object, except with a different scope for the given sig.

changedSinceLastSave() - Method in class edu.mit.csail.sdg.alloy4viz.VizState

True if the theme has been modified since last save.

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

true if this is a "check"; false if this is a "run".

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

children() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig.PrimSig

Returns its immediate children sigs (not including NONE)

choices - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprChoice

The unmodifiable list of Expr(s) from that this ExprChoice can refer to.

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

Convenience method that evalutes x and cast the result to be a int.

clear() - Method in class edu.mit.csail.sdg.alloy4.ConstList.TempList

Removes every element, then return itself.

clear() - Method in class edu.mit.csail.sdg.alloy4.Env

Removes all mappings.

clear() - Method in class edu.mit.csail.sdg.alloy4.UniqueNameGenerator

Clear the history of previously generated names.

clear() - Method in class edu.mit.csail.sdg.alloy4graph.AvailableSpace

Erases the list of rectangles in this space.

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

Removes all highlights from every text buffer, then adjust the TAB LABEL COLOR if necessary.

clearUndo() - Method in class edu.mit.csail.sdg.alloy4.OurSyntaxWidget

Clear the undo history.

close() - Method in class edu.mit.csail.sdg.alloy4.OurPDFWriter

Close and save this PDF object.

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

Close the current tab (then create a new empty tab if there were no tabs remaining)

close(Closeable) - Static method in class edu.mit.csail.sdg.alloy4.Util

Attempt to close the file/stream/reader/writer and return true if and only if we successfully closed it.

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

Close every tab then create a new empty tab; returns true iff success.

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

The filename, line, and column position in the original Alloy model file of the closing bracket).

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

Returns the expression (^this)

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

Returns a new type u + u.u + u.u.u + ...

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

Returns the closure of this tupleset (NOTE: if this.arity!=2, we will return an empty set)

CNF - Static variable in class edu.mit.csail.sdg.alloy4compiler.translator.A4Options.SatSolver

Outputs the raw CNF file only

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

color - Variable in class edu.mit.csail.sdg.alloy4.OurHighlighter

The color to use when drawing highlights.

color() - Method in class edu.mit.csail.sdg.alloy4graph.GraphEdge

Returns the line color; never null.

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

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

Immutable; reresents a "run" or "check" command.

Command(boolean, int, int, int, Expr) - Constructor for class edu.mit.csail.sdg.alloy4compiler.ast.Command

Constructs a new Command object.

Command(Pos, String, boolean, int, int, int, int, Iterable<CommandScope>, Iterable<Sig>, Expr, Command) - Constructor for class edu.mit.csail.sdg.alloy4compiler.ast.Command

Constructs a new Command object.

commandname - Variable in class edu.mit.csail.sdg.alloy4viz.AlloyInstance

The original command that generated this instance; can be "" if unknown.

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

Immutable; reresents a scope in a "run" or "check" command.

CommandScope(Sig, boolean, int) - Constructor for class edu.mit.csail.sdg.alloy4compiler.ast.CommandScope

Construct a new CommandScope object.

CommandScope(Pos, Sig, boolean, int, int, int) - Constructor for class edu.mit.csail.sdg.alloy4compiler.ast.CommandScope

Construct a new CommandScope object.

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

Compare first by type, then by index, then by the original names.

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

When comparing two AlloyRelation objects, we first compare the name, then the arity, then the types.

compareTo(AlloyElement) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyRelation

When comparing two AlloyRelation objects, we first compare the name, then the arity, then the types.

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

When comparing two AlloySet objects, we first compare their names, then their types.

compareTo(AlloyNodeElement) - Method in class edu.mit.csail.sdg.alloy4viz.AlloySet

When comparing two AlloySet objects, we first compare their names, then their types.

compareTo(AlloyElement) - Method in class edu.mit.csail.sdg.alloy4viz.AlloySet

When comparing two AlloySet objects, we first compare their names, then their types.

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

Two tuples are first compared based on length; if the length is the same, we compare atom-by-atom.

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

When comparing two AlloyType objects, we compare their names.

compareTo(AlloyNodeElement) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyType

When comparing two AlloyType objects, we compare their names.

compareTo(AlloyElement) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyType

When comparing two AlloyType objects, we compare their names.

CompLexer - Class in edu.mit.csail.sdg.alloy4compiler.parser

Autogenerated by JFlex 1.4.1

CompLexer(Reader) - Constructor for class edu.mit.csail.sdg.alloy4compiler.parser.CompLexer

Creates a new scanner There is also a java.io.InputStream version of this constructor.

CompLexer(InputStream) - Constructor for class edu.mit.csail.sdg.alloy4compiler.parser.CompLexer

Creates a new scanner.

CompModule - Class in edu.mit.csail.sdg.alloy4compiler.parser

Mutable; this class represents an Alloy module; equals() uses object identity.

CompModule.Open - Class in edu.mit.csail.sdg.alloy4compiler.parser

Mutable; this class represents an untypechecked Alloy module import statement; equals() uses object identity.

componentHidden(ComponentEvent) - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI

Invoked when the Visualizationwindow is hidden.

componentHidden(ComponentEvent) - Method in class edu.mit.csail.sdg.alloy4whole.SimpleGUI

Called when this window is hidden.

componentMoved(ComponentEvent) - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI

Invoked when the Visualizationwindow is moved.

componentMoved(ComponentEvent) - Method in class edu.mit.csail.sdg.alloy4whole.SimpleGUI

Called when this window is moved.

componentResized(ComponentEvent) - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI

Invoked when the Visualizationwindow is resized.

componentResized(ComponentEvent) - Method in class edu.mit.csail.sdg.alloy4whole.SimpleGUI

Called when this window is resized.

componentShown(ComponentEvent) - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI

Invoked when the Visualizationwindow is shown.

componentShown(ComponentEvent) - Method in class edu.mit.csail.sdg.alloy4whole.SimpleGUI

Called when this window is shown.

CompParser - Class in edu.mit.csail.sdg.alloy4compiler.parser

CUP v0.11a beta 20060608 generated parser.

CompParser() - Constructor for class edu.mit.csail.sdg.alloy4compiler.parser.CompParser

Default constructor.

CompParser(Scanner) - Constructor for class edu.mit.csail.sdg.alloy4compiler.parser.CompParser

Constructor which sets the default scanner.

CompParser(Scanner, SymbolFactory) - Constructor for class edu.mit.csail.sdg.alloy4compiler.parser.CompParser

Constructor which sets the default scanner.

comprehensionOver(Decl, Decl...) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Returns the comprehension expression {...|this}

CompSym - Class in edu.mit.csail.sdg.alloy4compiler.parser

CUP generated class containing symbol constants.

CompSym() - Constructor for class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

compute(Object) - Method in interface edu.mit.csail.sdg.alloy4.Computer

This method takes an Object input and produces a String output.

compute(Func, List<SimTupleset>) - Method in interface edu.mit.csail.sdg.alloy4compiler.sim.SimCallback

This method accepts a function, a list of arguments, and should return either a java Boolean, java Integer, or a SimTupleset, (or null if it chooses NOT to handle this call)

Computer - Interface in edu.mit.csail.sdg.alloy4

This defines a compute() method that takes an Object input and produces a String output.

CompUtil - Class in edu.mit.csail.sdg.alloy4compiler.parser

This class provides convenience methods for calling the parser and the compiler.

cond - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprITE

The condition formula.

ConstList<T> - Class in edu.mit.csail.sdg.alloy4

Immutable; implements a list based on equals(); null values are allowed.

ConstList.TempList<T> - Class in edu.mit.csail.sdg.alloy4

Mutable; this implements a modifiable list that can be used to construct a ConstList; null values are allowed.

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

Construct an empty TempList.

ConstList.TempList(int) - Constructor for class edu.mit.csail.sdg.alloy4.ConstList.TempList

Construct an empty TempList with initial capacity of n (if n<=0, the list will be given a default capacity of 0)

ConstList.TempList(int, T) - Constructor for class edu.mit.csail.sdg.alloy4.ConstList.TempList

Construct a new TempList whose initial content is n references to the given elem (if n<=0, the created list is empty)

ConstList.TempList(Collection<? extends T>) - Constructor for class edu.mit.csail.sdg.alloy4.ConstList.TempList

Construct a new TempList whose initial content is equal to the given collection.

ConstList.TempList(T...) - Constructor for class edu.mit.csail.sdg.alloy4.ConstList.TempList

Construct a new TempList whose initial content is equal to the given array.

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

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

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

ConstSet<K> - Class in edu.mit.csail.sdg.alloy4

Immutable; implements a set based on hashCode() and equals(); null value is allowed.

contains(T) - Method in class edu.mit.csail.sdg.alloy4.ConstList.TempList

Returns true if the element is in the list.

contains(Object) - Method in class edu.mit.csail.sdg.alloy4.ConstSet

Returns true if the given object is in this set.

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

Returns true if the list contains the given element.

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

Returns true if exists at least one (k, v) mapping where (k==null ? key==null : k.equals(key))

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

Returns true if exists at least one (k, v) mapping where (v==null ? value==null : v.equals(value))

convert(Formula, int, Iterable<String>, Bounds, Map<Object, String>) - Static method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

Given a Kodkod formula node, return a Java program that (when compiled and executed) would solve that formula.

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

Converts Windows/Mac/Unix linebreaks into '\n', and replace non-tab non-linebreak control characters into space.

convertValueToText(Object, boolean, boolean, boolean, int, boolean) - Method in class edu.mit.csail.sdg.alloy4.OurTree

This method is called by Swing to figure out what text should be displayed for each node in the tree.

convertValueToText(Object, boolean, boolean, boolean, int, boolean) - Method in class edu.mit.csail.sdg.alloy4viz.VizTree

This method is called by Swing to figure out what text should be displayed for each node in the tree.

copy() - Method in class edu.mit.csail.sdg.alloy4.OurSyntaxWidget

Copy the current selection into the clipboard.

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

Copy the list of files from JAR into the destination directory, then set the correct permissions on them if possible.

coreGranularity - Variable in class edu.mit.csail.sdg.alloy4compiler.translator.A4Options

Unsat core granularity, default is 0 (only top-level conjuncts are considered), 3 expands all quantifiers

coreMinimization - Variable in class edu.mit.csail.sdg.alloy4compiler.translator.A4Options

This option specifies the unsat core minimization strategy (0=GuaranteedLocalMinimum 1=FasterButLessAccurate 2=EvenFaster...)

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

Returns the number of tabs.

count() - Method in class edu.mit.csail.sdg.alloy4.XMLNode

Returns the number of direct subnodes.

count() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprQt

Return the number of variables.

count() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Func

Return the number of parameters.

countHeight(Node) - Static method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

Count the height of the given Kodkod AST tree.

createDispose(Window) - Static method in class edu.mit.csail.sdg.alloy4.Runner

This helper method returns a Runnable whose run() method will call window.dispose()

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

Convenience method that evalutes x and cast the result to be a tupleset

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

Return the current lookahead in our error "parse ahead" buffer.

cur_token - Variable in class java_cup.runtime.lr_parser

The current lookahead Symbol.

cut() - Method in class edu.mit.csail.sdg.alloy4.OurSyntaxWidget

Cut the current selection into the clipboard.