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 _

I

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

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

Returns the unique String for this value; it will be kept consistent in future versions.

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

The "iden" relation.

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

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

Return the identity over this tupleset; (if this tupleset's arity is not 1, then we return an emptyset)
Note: the result's tuple order is the same as this tupleset's tuple order.

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

Returns the formula (this iff x)

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

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

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

Returns the formula (this implies x)

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

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

Returns the formula (this in x)

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

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

Returns true if this is a subset of that.

IN - Static variable in class edu.mit.csail.sdg.alloy4viz.AlloyRelation

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

increment - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.CommandScope

The scope increment; if this sig is not a growing sig, then this.increment is ignored.

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

Finds the first occurrence of small within big.

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

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

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

The icon to use when the checkbox is off due to inheritance.

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

The icon to use when the checkbox is on due to inheritance.

init(Sig, SimTupleset) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Initializes the given sig to be associated with the given unary value; should only be called at the beginning.

init(Sig.Field, SimTupleset) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Initializes the given field to be associated with the given unary value; should only be called at the beginning.

init(ExprVar, SimTupleset) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Initializes the given var to be associated with the given unary value; should only be called at the beginning.

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

Action encapsulation object initializer.

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

Initialize the action object.

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

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

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

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

INTANDFORMULA - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.Type

Constant value with is_int==true, is_bool==true, and entries.size()==0.

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

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

Returns the expression (this intersects x)

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

Returns the intersection between this and that (and returns "none" if they do not intersect).

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

Returns a new type { A&B | A is in this, and B is in that }

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

Returns a new type { A&that | A is in this }

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

Return the intersection of this and that.

intersect(A4TupleSet) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4TupleSet

Construct a new tupleset as the intersection of this and that; this and that must be come from the same solution.

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

Returns true iff the intersection between this and that is not "none".

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

Returns true iff { A&B | A is in this, and B is in that } can have tuples.

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

Return true if the intersection of this and that is nonempty.

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

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

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

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

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

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

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

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

Returns true if the type of this element is equal to the given type.

is_bool - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Type

True if primitive boolean value is a possible value in this type.

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

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

isAbstract - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig

Nonnull if this sig is abstract.

isAbstract - Variable in class edu.mit.csail.sdg.alloy4viz.AlloyType

Records whether this sig is known to be "abstract"; NOTE: this value is NOT USED during equals() comparison.

isArrow - Variable in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprBinary.Op

True if and only if this operator is the Cartesian product "->", a "seq" multiplicity, or is a multiplicity arrow of the form "?->?".

isBorderOpaque() - Method in class edu.mit.csail.sdg.alloy4.OurBorder

This method is called by Swing to find out whether this border object needs to fill in its own background.

isBuiltin - Variable in class edu.mit.csail.sdg.alloy4viz.AlloyType

Records whether this sig is known to be "builtin"; NOTE: this value is NOT USED during equals() comparison.

isBusy() - Static method in class edu.mit.csail.sdg.alloy4.WorkerEngine

This returns true iff the subprocess is still busy processing the last task.

isCycle(Map<AlloyType, AlloyType>, AlloyType) - Static method in class edu.mit.csail.sdg.alloy4viz.AlloyModel

Returns true iff the nodes x, map.get(x), map.get(map.get(x))...

isDirectSubtype(AlloyType, AlloyType) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyModel

Returns true iff "subType" is a direct subsig of "superType".

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

Returns true if the list is empty.

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

Returns true if this.arity==0 or this==NONE->..->NONE

isEnum - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig

Nonnull if the sig is toplevel and is an enum.

isEnum - Variable in class edu.mit.csail.sdg.alloy4viz.AlloyType

Records whether this sig is known to be "enum"; NOTE: this value is NOT USED during equals() comparison.

isEqualOrSubtype(AlloyType, AlloyType) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyModel

Returns true iff "subType" is equal to, or is a direct or indirect subsig of "superType".

isExact - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.CommandScope

True iff the scope is an exact scope.

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

Returns whether this textarea is based on an actual disk file.

isIn(SimTuple, Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Helper method that evaluates the formula "a in b" where b.mult==0

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

Helper method that evaluates the formula "a in b"

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

Returns true if this solution was generated by an incremental SAT solver.

isLone - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig

Nonnull if this sig's multiplicity is declared to be lone.

isMeta - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig.Field

Nonnull if this field is a meta field.

isMeta - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig

Nonnull if this sig is a meta sig.

isMeta - Variable in class edu.mit.csail.sdg.alloy4viz.AlloyRelation

Records whether this relation is known to be "meta"; NOTE: this value is NOT USED during equals() comparison.

isMeta - Variable in class edu.mit.csail.sdg.alloy4viz.AlloySet

Records whether this relation is known to be "meta"; NOTE: this value is NOT USED during equals() comparison.

isMeta - Variable in class edu.mit.csail.sdg.alloy4viz.AlloyType

Records whether this sig is known to be "meta"; NOTE: this value is NOT USED during equals() comparison.

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

If true, it is a metamodel, else it is not a metamodel.

isOne - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig

Nonnull if this sig's multiplicity is declared to be one.

isOne - Variable in class edu.mit.csail.sdg.alloy4viz.AlloyType

Records whether this sig is known to be "one"; NOTE: this value is NOT USED during equals() comparison.

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

True if this is a predicate; false if this is a function.

isPrivate - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Decl

If nonnull, then this decl is private (and this.isPrivate is the location of the "private" keyword)

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

If nonnull, then this predicate/function is private (and this.isPrivate is the location of the "private" keyword)

isPrivate - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig.Field

Nonnull if the user wanted this field to be private.

isPrivate - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig

Nonnull if the user wanted this sig to be private.

isPrivate - Variable in class edu.mit.csail.sdg.alloy4viz.AlloyRelation

Records whether this relation is known to be "private"; NOTE: this value is NOT USED during equals() comparison.

isPrivate - Variable in class edu.mit.csail.sdg.alloy4viz.AlloySet

Records whether this relation is known to be "private"; NOTE: this value is NOT USED during equals() comparison.

isPrivate - Variable in class edu.mit.csail.sdg.alloy4viz.AlloyType

Records whether this sig is known to be "private"; NOTE: this value is NOT USED during equals() comparison.

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

Returns true if we can determine the two expressions are equivalent; may sometimes return false.

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

Returns true if we can determine the two expressions are equivalent; may sometimes return false.

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

Returns true if we can determine the two expressions are equivalent; may sometimes return false.

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

Returns true if we can determine the two expressions are equivalent; may sometimes return false.

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

Returns true if we can determine the two expressions are equivalent; may sometimes return false.

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

Returns true if we can determine the two expressions are equivalent; may sometimes return false.

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

Returns true if we can determine the two expressions are equivalent; may sometimes return false.

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

Returns true if we can determine the two expressions are equivalent; may sometimes return false.

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

Returns true iff "this is equal or subtype of that"

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

Returns true iff "this is equal or subtype of that"

isSameOrDescendentOf(Sig) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig.SubsetSig

Returns true iff "this is equal or subtype of that"

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

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

isSome - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig

Nonnull if this sig's multiplicity is declared to be some.

isSubset - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig

Nonnull if this sig is a SubsetSig and therefore not a PrimSig.

isSubsig - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig

Nonnull if this sig is a PrimSig and therefore not a SubsetSig.

isSubtype(AlloyType, AlloyType) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyModel

Returns true iff "subType" is a direct or indirect subsig of "superType".

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

Returns true if for all A in this, there exists B in that, where A is equal or subset of B.

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

Returns true if this sig is a toplevel sig (meaning: it is UNIV, or it is a non-subset sig with parent==UNIV)

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

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

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

Returns the expression/integer/formula (this => x else y)

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

Returns a read-only iterator over this set.

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

Returns an iterator that iterates over elements in this list (in the order that they were inserted).

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

Returns a read-only iterator over the immediate subelements.

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

Returns an iterator that iterates over the ProductType entries in this type.

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

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

Returns a read-only iterator over the tuples.

iterator() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4TupleSet

Returns a read-only iterator that iterates over each tuple in this TupleSet.