A B C D E F G H I K L M N O P R S T U V X

T

table - Variable in class de.upb.swt.mcie.robdds.BinOp
Hash table for pairs of nodes for which this binary operation has already been applied.
temporal - Variable in class de.upb.swt.mcie.formulas.Formula
Flag indicating that the formula contains temporal operators.
TEMPORAL_FORMULA_WITHOUT_MODEL - Static variable in exception de.upb.swt.mcie.formulas.IncorrectUseException
It was tried to evaluate a temporal formula without providing a model (i.e. with a context only).
temporalOp - Static variable in class de.upb.swt.mcie.formulas.BinaryOp
Table that defines for each operator whether it is a temporal operator or not.
temporalOp - Static variable in class de.upb.swt.mcie.formulas.UnaryOp
Table that defines for each operator whether it is a temporal operator or not.
TerminalNode - Class in de.upb.swt.mcie.robdds
This class represents a terminal Node of an ROBDD.
TerminalNode(Context, int) - Constructor for class de.upb.swt.mcie.robdds.TerminalNode
Creates a terminal node for the given truth value (0 or 1 for false and true).
text - Variable in class de.upb.swt.mcie.parser.token.Token
The text corresponding to this token.
token - Variable in exception de.upb.swt.mcie.parser.ParseException
The token causing the parse error.
Token - Class in de.upb.swt.mcie.parser.token
Implementation the common structure of all tokens.
Token() - Constructor for class de.upb.swt.mcie.parser.token.Token
 
toROBDD(Context) - Method in class de.upb.swt.mcie.formulas.BinaryOp
Returns the ROBDD representation of the set of all states respectively the set of transitions satisfying the formula.
toROBDD(Model) - Method in class de.upb.swt.mcie.formulas.BinaryOp
Returns the ROBDD representation of the set of all states satisfying the formula.
toROBDD(Context) - Method in class de.upb.swt.mcie.formulas.Constant
Returns the ROBDD that represents the set of all states in which this formula is valid.
toROBDD(Model) - Method in class de.upb.swt.mcie.formulas.Constant
Returns the ROBDD that represents the set of all states in which this formula is valid.
toROBDD(Context) - Method in class de.upb.swt.mcie.formulas.Formula
Returns the ROBDD representation of the set of all states respectively the set of transitions satisfying the formula.
toROBDD(Model) - Method in class de.upb.swt.mcie.formulas.Formula
Returns the ROBDD representation of the set of all states satisfying the formula.
toROBDD(Context) - Method in class de.upb.swt.mcie.formulas.UnaryOp
Returns the ROBDD representation of the set of all states satisfying the formula.
toROBDD(Model) - Method in class de.upb.swt.mcie.formulas.UnaryOp
Returns the ROBDD representation of the set of all states satisfying the formula.
toROBDD(Context) - Method in class de.upb.swt.mcie.formulas.Variable
Returns the ROBDD that represents the set of all states in which this formula is valid.
toROBDD(Model) - Method in class de.upb.swt.mcie.formulas.Variable
Returns the ROBDD that represents the set of all states in which this formula is valid.
toROBDD() - Method in class de.upb.swt.mcie.robdds.Variable
Returns the ROBDD representation for this variable (considered as a formula).
toString() - Method in class de.upb.swt.mcie.formulas.BinaryOp
 
toString() - Method in class de.upb.swt.mcie.formulas.Constant
 
toString() - Method in exception de.upb.swt.mcie.formulas.IncorrectUseException
Converts the exception to its String representation.
toString() - Method in class de.upb.swt.mcie.formulas.UnaryOp
 
toString() - Method in class de.upb.swt.mcie.formulas.Variable
 
toString() - Method in exception de.upb.swt.mcie.mc.AbortException
Converts the exception to its String representation.
toString() - Method in exception de.upb.swt.mcie.mc.IncorrectUseException
Converts the exception to its String representation.
toString() - Method in exception de.upb.swt.mcie.parser.ParseException
Returns a textual representation of the parse error and the information on the offending token.
toString() - Method in class de.upb.swt.mcie.parser.token.Token
Returns the string representation of this token.
toString() - Method in class de.upb.swt.mcie.robdds.HashAssignment
Returns the string representation of the assignment.
toString() - Method in exception de.upb.swt.mcie.robdds.IncorrectUseException
Converts the exception to its String representation.
toString() - Method in exception de.upb.swt.mcie.robdds.InternalError
Converts the exception to its String representation
transClosure(Context, ROBDD) - Static method in class de.upb.swt.mcie.mc.Procedures
This method calculates the transitive closure of a given relation.
transitions - Variable in class de.upb.swt.mcie.mc.Transitionsystem
An array of ROBDDs representing the transitions.
Transitionsystem - Class in de.upb.swt.mcie.mc
Implements a transition system.
Transitionsystem(Context) - Constructor for class de.upb.swt.mcie.mc.Transitionsystem
Constructs an empty transition structure.
Transitionsystem(Context, ROBDD, ROBDD[], ChangeSet[]) - Constructor for class de.upb.swt.mcie.mc.Transitionsystem
Constructs a transition structure from the provided ROBDDs for the initial condition and an array of transition relation (along with the set of variables that may be change by a transition).
TRUE - Static variable in class de.upb.swt.mcie.parser.Scanner
The Pattern for the constant true.
truthTable - Variable in class de.upb.swt.mcie.robdds.BinOp
The truth table defining the binary operation.
type - Variable in class de.upb.swt.mcie.parser.token.Brack
The type of the bracket.
type - Variable in class de.upb.swt.mcie.parser.token.Sep
The type of the separator.

A B C D E F G H I K L M N O P R S T U V X