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 _

T

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

Returns the substring after the last "/"

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

Returns the last atom of this tuple.

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

Returns the subtuple containing the last n atoms (n must be between 1 and arity)

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

Return the tupleset where each tuple is truncated to the last N atoms; if n is zero or negative, we return the emptyset; if n >= this.arity, we return this as is.

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

Return a modifiable map from each filename to its text content (Note: changes to the map does NOT affect this object)

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

This specifies the directory where we may write temporary files to.

Test - Class in tmp

Test() - Constructor for class tmp.Test

Test1 - Class in tmp

Test1() - Constructor for class tmp.Test1

TestSlow - Class in tmp

TestSlow() - Constructor for class tmp.TestSlow

TestSmallFast - Class in tmp

TestSmallFast() - Constructor for class tmp.TestSmallFast

TestSmallSlow - Class in tmp

TestSmallSlow() - Constructor for class tmp.TestSmallSlow

textarea(String, int, int, boolean, boolean, Object...) - Static method in class edu.mit.csail.sdg.alloy4.OurUtil

Make a JTextArea with the given text and number of rows and columns, then call Util.make() to apply a set of attributes to it.

textfield(String, int, Object...) - Static method in class edu.mit.csail.sdg.alloy4.OurUtil

Make a JTextField with the given text and number of columns, then call Util.make() to apply a set of attributes to it.

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

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

tmp - package tmp

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

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

Convert this type into a UNION of PRODUCT of sigs.

toHTML() - Method in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprBinary.Op

Returns the human readable label already encoded for HTML

toHTML() - Method in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprUnary.Op

Returns the human readable label already encoded for HTML

toInt(Integer) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimAtom

If the atom starts with "-" or "0-9" then convert it into a 32-bit int (here we assume that it came from a 32-bit int)

top() - Method in class java_cup.runtime.virtual_parse_stack

Return value on the top of the stack (without popping it).

tos - Variable in class java_cup.runtime.lr_parser

Indication of the index for top of stack (for use by actions).

toShortString() - Method in class edu.mit.csail.sdg.alloy4.Pos

Returns a short String representation of this position value.

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

Returns a String representation.

toString() - Method in exception edu.mit.csail.sdg.alloy4.ErrorAPI

Returns a textual description of the error.

toString() - Method in exception edu.mit.csail.sdg.alloy4.ErrorFatal

Returns a textual description of the error.

toString() - Method in exception edu.mit.csail.sdg.alloy4.ErrorSyntax

Returns a textual description of the error.

toString() - Method in exception edu.mit.csail.sdg.alloy4.ErrorType

Returns a textual description of the error.

toString() - Method in exception edu.mit.csail.sdg.alloy4.ErrorWarning

Returns a textual description of the error.

toString() - Method in class edu.mit.csail.sdg.alloy4.Pair

If "a" and "b" are both String, concatename them with a space; if only one is, return it; else call toString() on them.

toString() - Method in class edu.mit.csail.sdg.alloy4.Pos

Returns a String representation of this position value.

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

Returns a String representation of this list.

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

Dump the content to a String.

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4.XMLNode

Dump the content to a StringBuilder.

toString() - Method in enum edu.mit.csail.sdg.alloy4compiler.ast.Attr.AttrType

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

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

Returns a human-readable string that summarizes this Run or Check command.

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

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Print a textual description of it and all subnodes to a StringBuilder, with the given level of indentation.

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

Print a brief text description of it and all subnodes.

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBad

Print a textual description of it and all subnodes to a StringBuilder, with the given level of indentation.

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBadCall

Print a textual description of it and all subnodes to a StringBuilder, with the given level of indentation.

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBadJoin

Print a textual description of it and all subnodes to a StringBuilder, with the given level of indentation.

toString() - Method in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprBinary.Op

Returns the human readable label for this operator.

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBinary

Print a textual description of it and all subnodes to a StringBuilder, with the given level of indentation.

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprCall

Print a textual description of it and all subnodes to a StringBuilder, with the given level of indentation.

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprChoice

Print a textual description of it and all subnodes to a StringBuilder, with the given level of indentation.

toString() - Method in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprConstant.Op

Returns the human readable label for this operator.

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprConstant

Print a textual description of it and all subnodes to a StringBuilder, with the given level of indentation.

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprITE

Print a textual description of it and all subnodes to a StringBuilder, with the given level of indentation.

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprLet

Print a textual description of it and all subnodes to a StringBuilder, with the given level of indentation.

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprList

Print a textual description of it and all subnodes to a StringBuilder, with the given level of indentation.

toString() - Method in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprQt.Op

Returns the human readable label for this operator

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprQt

Print a textual description of it and all subnodes to a StringBuilder, with the given level of indentation.

toString() - Method in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprUnary.Op

Returns the human readable label for this operator

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprUnary

Print a textual description of it and all subnodes to a StringBuilder, with the given level of indentation.

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprVar

Print a textual description of it and all subnodes to a StringBuilder, with the given level of indentation.

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

Returns a human-readable description for this predicate/function

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

Returns a human-readable description of this field's name.

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig.Field

Print a textual description of it and all subnodes to a StringBuilder, with the given level of indentation.

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

Returns the name for this sig; this name need not be unique.

toString(StringBuilder, int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig

Print a textual description of it and all subnodes to a StringBuilder, with the given level of indentation.

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

Returns the String representation of this ProductType object.

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

Returns a human-readable description of this type.

toString() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule

Returns a short description for this module.

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

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

Write a human-readable representation of this tuple into the given StringBuilder object.

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

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

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

Returns the human-readable label for this enum value.

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

Dumps the Kodkod solution into String.

toString() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Tuple

Prints a human-readable description of this Tuple.

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

Prints a human-readable description of this TupleSet.

toString() - Method in enum edu.mit.csail.sdg.alloy4graph.DotColor

This value is used in writing XML.

toString() - Method in enum edu.mit.csail.sdg.alloy4graph.DotPalette

This value is used in writing XML.

toString() - Method in enum edu.mit.csail.sdg.alloy4graph.DotShape

This value is used in writing XML.

toString() - Method in enum edu.mit.csail.sdg.alloy4graph.DotStyle

This value is used in writing XML.

toString() - Method in class edu.mit.csail.sdg.alloy4graph.Graph

Returns a DOT representation of this graph.

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

Returns a DOT representation of this edge (or "" if the start node is a dummy node)

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

Returns a DOT representation of this node (or "" if this is a dummy node)

toString() - Method in class edu.mit.csail.sdg.alloy4graph.GraphViewer

Returns a DOT representation of the current graph.

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

Provides a human-readable label for debugging purpose.

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

Returns a textual dump of the instance.

toString() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyProjection

Returns a human readable dump of this object.

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

This value is used to display this type in the Visualizer's customization screen.

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

This value is used to display this type in the Visualizer's customization screen.

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

Provides a human-readable description of this AlloyTuple.

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

This value is used to display this type in the Visualizer's customization screen.

toString() - Method in class java_cup.runtime.Symbol

Printing this token out.

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

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

Return true if this is a total ordering over "elem", with "first" being the first element of the total order.

translate(String, int, int, int, int) - Method in class edu.mit.csail.sdg.alloy4.A4Reporter

This method is called by the translator just before it begins generating CNF.

translate(int, int) - Method in class edu.mit.csail.sdg.alloy4graph.Artist

Shifts the coordinate space by the given amount.

TranslateAlloyToKodkod - Class in edu.mit.csail.sdg.alloy4compiler.translator

Translate an Alloy AST into Kodkod AST then attempt to solve it using Kodkod.

TranslateKodkodToJava - Class in edu.mit.csail.sdg.alloy4compiler.translator

Translate a Kodkod formula node to an equivalent Java program that solves the formula.

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

Returns the expression (~this)

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

Returns a new type { A | A is binary and ~A is in this }

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

Return the transpose of this tupleset; (if this tupleset's arity is not 2, we'll return an empty set instead)

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

The "TRUE" boolean value.

try_parse_ahead(boolean) - Method in class java_cup.runtime.lr_parser

Do a simulated parse forward (a "parse ahead") from the current stack configuration using stored lookahead input and a virtual parse stack.

type - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Attr

The type of this attribute.

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

Return the type for this node; EMPTY if it is not well-typed.

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

Immutable; represents the type of an expression.

type() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Tuple

Returns the type constructed by taking the product for each sig in this tuple.

Type.ProductType - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; represents a list of PrimSig objects.

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

Returns an unmodifiable sorted list of AlloyAtom(s) in this type; answer can be an empty list.

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

This method is called by the typechecker to report the type for each field/function/predicate/assertion, etc.

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

Converts this into a "formula" if possible; otherwise, returns an Expr with a nonempty error list

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

Converts this into an "integer expression" if possible; otherwise, returns an Expr with a nonempty error list

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

Converts this into a "set or relation" if possible; otherwise, returns an Expr with a nonempty error list