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 _

O

obj1 - Variable in class edu.mit.csail.sdg.alloy4.OurSyntaxWidget

This is an optional JComponent annotation.

obj2 - Variable in class edu.mit.csail.sdg.alloy4.OurSyntaxWidget

This is an optional JComponent annotation.

OFF - Static variable in class edu.mit.csail.sdg.alloy4.OurCheckbox

The icon to use when the checkbox is off.

ok(int, int, int, int) - Method in class edu.mit.csail.sdg.alloy4graph.AvailableSpace

Returns true if the given rectangle does not overlap with any existing rectangle in this space.

Ok - Class in tmp

Ok() - Constructor for class tmp.Ok

ON - Static variable in class edu.mit.csail.sdg.alloy4.OurCheckbox

The icon to use when the checkbox is on.

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

ONE; if a Sig is one, it has exactly one atom.

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

Returns the formula (one this)

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

The "1" integer.

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

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

Preconstructed atom representing 1.

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

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

Returns the multiplicity constraint (this one->set x)

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

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

Returns the multiplicity constraint (this one->lone x)

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

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

Returns the multiplicity constraint (this one->one x)

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

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

Returns the multiplicity constraint (this one->some x)

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

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

Return the multiplicity expression "one this"

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

Return a new declaration "v: one this"

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

Return an iterator over all subset x of this where x.size==1

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

Returns true iff running on Mac OS X.

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

Returns true iff running on Windows

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

The binary operator.

op - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprConstant

The type of constant.

op - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprList

The builtin operator.

op - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprQt

The operator (ALL, NO, LONE, ONE, SOME, SUM, or COMPREHENSION)

op - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprUnary

The unary operator.

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

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

Returns the options for the external command-line solver to use (or empty array if this solver does not use an external commandline solver)

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

Returns the formula (this or x)

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

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

This option tells the compiler the "original filename" that these AST nodes came from; it is only used for generating comments and other diagnostic messages.

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

Graphical convenience methods for managing and constructing antialias-capable components.

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

Graphical border on zero, one, two, three, or all four sides of a component.

OurBorder(Color, Color, Color, Color) - Constructor for class edu.mit.csail.sdg.alloy4.OurBorder

Construct a Border object that draws a border on 0, 1, 2, 3, or all 4 sides of the component.

OurBorder(boolean, boolean, boolean, boolean) - Constructor for class edu.mit.csail.sdg.alloy4.OurBorder

Construct a Border object that draws a light gray line on 0, 1, 2, 3, or all 4 sides of the component.

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

Graphical checkbox.

OurCheckbox(String, String, Icon) - Constructor for class edu.mit.csail.sdg.alloy4.OurCheckbox

Constructs a OurCheckbox object.

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

Graphical combobox.

OurCombobox(Object[]) - Constructor for class edu.mit.csail.sdg.alloy4.OurCombobox

Constructs a new OurCombobox object.

OurCombobox(boolean, Object[], int, int, Object) - Constructor for class edu.mit.csail.sdg.alloy4.OurCombobox

Constructs a new OurCombobox object.

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

Graphical input/output prompt.

OurConsole(Computer, boolean, Object...) - Constructor for class edu.mit.csail.sdg.alloy4.OurConsole

Construct a JScrollPane that allows the user to interactively type in commands and see replies.

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

Graphical dialog methods for asking the user some questions.

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

Graphica highlighter.

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

Construct a highlighter with the given color.

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

Graphical convenience methods for producing PDF files.

OurPDFWriter(String, int, double) - Constructor for class edu.mit.csail.sdg.alloy4.OurPDFWriter

Begin a blank PDF file with the given dots-per-inch and the given scale (the given file, if existed, will be overwritten)

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

Graphical convenience methods for producing PNG files.

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

Graphical syntax-highlighting editor.

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

Constructs a syntax-highlighting widget.

OurSyntaxWidget(boolean, String, String, int, int, JComponent, JComponent) - Constructor for class edu.mit.csail.sdg.alloy4.OurSyntaxWidget

Constructs a syntax-highlighting widget.

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

Graphical multi-tabbed syntax-highlighting editor.

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

Constructs a tabbed editor pane.

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

Graphical tree.

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

Construct a Tree object with the given font size.

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

Graphical convenience methods.

outEdges() - Method in class edu.mit.csail.sdg.alloy4graph.GraphNode

Returns an unmodifiable view of the list of "out" edges.

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

The overall scope (0 or higher) (Or -1 if there is no overall scope).

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

Returns the expression (this++x)

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

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

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

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