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 _

R

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

Returns the expression (this :> x)

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

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

Returns this:>that (NOTE: if that.arity!=1, then we return the empty set)

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

Returns a new type { R[0]->..->R[n-1] | exists n-ary A in this, exists unary B in that, such that R[i]==A[i] except R[n-1]==(A[n-1] & B)

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

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

read(Module, String, List<ExprVar>) - Static method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Construct a new simulation context by reading the given file.

read(Iterable<Sig>, XMLNode) - Static method in class edu.mit.csail.sdg.alloy4compiler.translator.A4SolutionReader

Parse the XML element into an AlloyInstance.

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

Read from input to establish our buffer of "parse ahead" lookahead Symbols.

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

Read everything into a String; throws IOException if an error occurred.

readAlloy(String, VizState) - Static method in class edu.mit.csail.sdg.alloy4viz.StaticThemeReaderWriter

Read the XML file and merge its settings into an existing VizState object.

real_next - Variable in class java_cup.runtime.virtual_parse_stack

Top of stack indicator for where we leave off in the real stack.

real_stack - Variable in class java_cup.runtime.virtual_parse_stack

The real stack that we shadow.

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

The unmodifiable list of String(s) explaining where each choice came from.

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

This option specifies whether the compiler should record the original Kodkod formula being generated and the resulting Kodkod instances.

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

Perform redo if possible.

reduce_tab - Variable in class java_cup.runtime.lr_parser

Direct reference to the reduce-goto table.

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

Access to reduce_goto table.

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

The reduce-goto table (supplied by generated subclass).

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

Returns the expression (*this)

registerApplicationListener(Runnable, Runnable, Runner, Runnable) - Static method in class edu.mit.csail.sdg.alloy4.MacUtil

Register a Mac OS X "ApplicationListener"; if there was a previous listener, it will be removed first.

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

Returns an unmodifiable sorted set of AlloyTuple(s) in this relation; answer can be an empty set.

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

Refresh all tabs.

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

Returns the formula "this.rem[x]" (the remainder of dividing this by x)

remakeAll() - Method in class edu.mit.csail.sdg.alloy4viz.VizCustomizationPanel

Regenerate all the customization widgets based on the latest settings.

remakeAll() - Method in class edu.mit.csail.sdg.alloy4viz.VizGraphPanel

Regenerate the comboboxes and the graph.

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

Removes then returns the i-th element.

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

Removes the latest mapping for the key (and if the key had previous mappings, they become visible).

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

Return this minus any tuple that contains the given atom.

removesBoolAndInt(Type) - Static method in class edu.mit.csail.sdg.alloy4compiler.ast.Type

Create a new type that is the same as "old", except the "is_bool" and "is_int" flags are both set to false.

replace(int, SimAtom) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTuple

Replace the i-th atom, and return the resulting SimTuple.

replace(Map<SimAtom, SimAtom>) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTuple

Replace each atom using the given SimAtom->SimAtom map; any atom not in the map will stay unchanged.

report_error(String, Object) - Method in class java_cup.runtime.lr_parser

Report a non fatal error (or warning).

report_fatal_error(String, Object) - Method in class java_cup.runtime.lr_parser

Report a fatal error.

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

Transfer focus to this component.

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

Clears the current theme.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Resolves this expression if ambiguous.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBad

Resolves this expression if ambiguous.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBadCall

Resolves this expression if ambiguous.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBadJoin

Resolves this expression if ambiguous.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBinary

Resolves this expression if ambiguous.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprCall

Resolves this expression if ambiguous.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprChoice

Resolves this expression if ambiguous.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprConstant

Resolves this expression if ambiguous.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprCustom

Resolves this expression if ambiguous.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprITE

Resolves this expression if ambiguous.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprLet

Resolves this expression if ambiguous.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprList

Resolves this expression if ambiguous.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprQt

Resolves this expression if ambiguous.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprUnary

Resolves this expression if ambiguous.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprVar

Resolves this expression if ambiguous.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig.Field

Resolves this expression if ambiguous.

resolve(Type, Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig

Resolves this expression if ambiguous.

resolve(AlloyElement) - Method in class edu.mit.csail.sdg.alloy4viz.VizState.MMap

resolve_as_formula(Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Converts this into a "formula" if possible, then resolves it if ambiguous.

resolve_as_int(Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Converts this into an "integer expression" if possible, then resolves it if ambiguous.

resolve_as_set(Collection<ErrorWarning>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Converts this into a "set or relation" if possible, then resolves it if ambiguous.

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

Reset the parse ahead input to one Symbol past where we started error recovery (this consumes one new Symbol from the real input).

resultCNF(String) - Method in class edu.mit.csail.sdg.alloy4.A4Reporter

If solver==KK or solver==CNF, this method is called by the translator after it constructed the Kodkod or CNF file.

resultSAT(Object, long, Object) - Method in class edu.mit.csail.sdg.alloy4.A4Reporter

If solver!=KK and solver!=CNF, this method is called by the translator if the formula is satisfiable.

resultUNSAT(Object, long, Object) - Method in class edu.mit.csail.sdg.alloy4.A4Reporter

If solver!=KK and solver!=CNF, this method is called by the translator if the formula is unsatisfiable.

returnDecl - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Func

The declared return type; never null.

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

Returns a new AlloyTuple whose list of atoms is the same but in reverse.

right - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBadJoin

The right-hand-side expression.

right - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBinary

The right-hand-side expression.

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

The else-clause.

right - Variable in class java_cup.runtime.Symbol

root - Variable in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

The root module associated with this instance.

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

run() - Method in class edu.mit.csail.sdg.alloy4.MailBug

This method will query alloy.mit.edu for the latest version number.

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

This method should be overriden to provide the default action that this Runner would perform.

run(Object) - Method in class edu.mit.csail.sdg.alloy4.Runner

This method should be overriden to provide the default action that this Runner would perform given an argument.

run(WorkerEngine.WorkerTask, int, int, String, String, WorkerEngine.WorkerCallback) - Static method in class edu.mit.csail.sdg.alloy4.WorkerEngine

This issues a new task to the subprocess; if subprocess hasn't been constructed yet or has terminated abnormally, this method will launch a new subprocess.

run(WorkerEngine.WorkerCallback) - Method in interface edu.mit.csail.sdg.alloy4.WorkerEngine.WorkerTask

The task should send zero or more non-null Objects to out.callback(msg) to report progress to the parent process.

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

runLocally(WorkerEngine.WorkerTask, WorkerEngine.WorkerCallback) - Static method in class edu.mit.csail.sdg.alloy4.WorkerEngine

This executes a task using the current thread.

Runner - Class in edu.mit.csail.sdg.alloy4

This class converts a Runnable into an AbstractAction, WindowListener, CaretListener, and MenuListener also.

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

Constructs a new runner; you should override the run() and run(arg) method to customize it.