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 _

U

uncaughtException(Thread, Throwable) - Method in class edu.mit.csail.sdg.alloy4.MailBug

This method is an exception handler for uncaught exceptions.

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

Perform undo if possible.

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

Return the union of this and that; (if this tupleset and that tupleset does not have compatible arity, then we return this tupleset as is).

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

Return the union of this and that; (if this tupleset and that tuple does not have compatible arity, then we return this tupleset as is).

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

Returns a new type { A | (A is in this && A.arity in that) or (A is in that && A.arity in this) }

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

This generates unique names based on names provided by the caller.

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

Construct a UniqueNameGenerator with a blank history.

UNIV - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig

The built-in "univ" signature.

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

UNIV - Static variable in class edu.mit.csail.sdg.alloy4viz.AlloyType

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

UNKNOWN - Static variable in class edu.mit.csail.sdg.alloy4.Pos

The default "unknown" location.

unpackFromStrings(String[]) - Static method in class java_cup.runtime.lr_parser

Utility function: unpacks parse tables from strings

unrecovered_syntax_error(Symbol) - Method in class java_cup.runtime.lr_parser

This method is called if it is determined that syntax error recovery has been unsuccessful.

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

This option constrols how deep we unroll loops and unroll recursive predicate/function/macros (negative means it's disallowed)

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

Returns the maximum number of allowed loop unrolling or recursion level.

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

Returns whether we will use original atom names.

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

Sets whether we will use original atom names or not.

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

User code for initialization inside the parser.

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

This provides useful static methods for I/O and XML operations.

Util.BooleanPref - Class in edu.mit.csail.sdg.alloy4

This reads and writes boolean-valued Java persistent preferences.

Util.BooleanPref(String) - Constructor for class edu.mit.csail.sdg.alloy4.Util.BooleanPref

Constructurs a new BooleanPref object with the given id.

Util.IntPref - Class in edu.mit.csail.sdg.alloy4

This reads and writes integer-valued Java persistent preferences.

Util.IntPref(String, int, int, int) - Constructor for class edu.mit.csail.sdg.alloy4.Util.IntPref

Make a new IntPref object with the given id; you must ensure max >= min, but def does not have to be between min..max

Util.StringPref - Class in edu.mit.csail.sdg.alloy4

This reads and writes String-valued Java persistent preferences.

Util.StringPref(String) - Constructor for class edu.mit.csail.sdg.alloy4.Util.StringPref

Constructs a new StringPref object with the given id.

Util.StringPref(String, String) - Constructor for class edu.mit.csail.sdg.alloy4.Util.StringPref

Constructs a new StringPref object with the given id and the given default value.

uuid - Variable in class edu.mit.csail.sdg.alloy4graph.GraphEdge

a user-provided annotation that will be associated with this edge (can be null) (need not be unique)

uuid - Variable in class edu.mit.csail.sdg.alloy4graph.GraphNode

a user-provided annotation that will be associated with this node (can be null) (need not be unique)