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

A

abort() - Method in class de.upb.swt.mcie.mc.FairModel
 
abort - Variable in class de.upb.swt.mcie.mc.Model
Indicates that the current model checking operation on this model should be aborted;
abort() - Method in class de.upb.swt.mcie.mc.Model
Initiates abortion of the model checking operation on this model
AbortException - Exception in de.upb.swt.mcie.mc
Exception that indicates that a model checking operation on a model was explicitly aborted.
AbortException() - Constructor for exception de.upb.swt.mcie.mc.AbortException
 
add(String) - Method in class de.upb.swt.mcie.robdds.ChangeSet
Adds a variable with the given name in the current context to the change set.
addChangedVariables(ChangeSet) - Method in class de.upb.swt.mcie.formulas.BinaryOp
Adds all variables that occur primed within the formula to the given change set.
addChangedVariables(ChangeSet) - Method in class de.upb.swt.mcie.formulas.Constant
Adds all variables that occur primed within the formula to the given change set.
addChangedVariables(ChangeSet) - Method in class de.upb.swt.mcie.formulas.Formula
Adds all variables that occur primed within the formula to the given change set.
addChangedVariables(ChangeSet) - Method in class de.upb.swt.mcie.formulas.UnaryOp
Adds all variables that occur primed within the formula to the given change set.
addChangedVariables(ChangeSet) - Method in class de.upb.swt.mcie.formulas.Variable
Adds all variables that occur primed within the formula to the given change set.
AF - Static variable in class de.upb.swt.mcie.formulas.UnaryOp
Code for the CTL operator EF.
AF - Static variable in class de.upb.swt.mcie.parser.Scanner
The Pattern for the AF operator.
AG - Static variable in class de.upb.swt.mcie.formulas.UnaryOp
Code for the CTL operator AG.
AG - Static variable in class de.upb.swt.mcie.parser.Scanner
The Pattern for the AG operator.
AND - Static variable in class de.upb.swt.mcie.formulas.BinaryOp
Code for the AND operation.
AND - Static variable in class de.upb.swt.mcie.parser.Scanner
The Pattern for the AND operation.
and - Variable in class de.upb.swt.mcie.robdds.Context
The and operation in this context.
apply(ROBDD, ROBDD) - Method in class de.upb.swt.mcie.robdds.BinOp
Applies the binary operation to the two ROBDDs.
apply(TerminalNode, ROBDD) - Method in class de.upb.swt.mcie.robdds.BinOp
Applies the binary operation to the two ROBDDs.
apply(ROBDD, TerminalNode) - Method in class de.upb.swt.mcie.robdds.BinOp
Applies the binary operation to the two ROBDDs.
apply(InnerNode, InnerNode) - Method in class de.upb.swt.mcie.robdds.BinOp
Applies the binary operation to the two ROBDDs.
AR - Static variable in class de.upb.swt.mcie.formulas.BinaryOp
Code for the CTL operator AR.
AR - Static variable in class de.upb.swt.mcie.parser.Scanner
The Pattern for the AR operator.
Assignment - Interface in de.upb.swt.mcie.robdds
This interface defines the basic methods of an assignment of values to some variables of a Context.
assignment - Variable in class de.upb.swt.mcie.robdds.HashAssignment
The mapping representing the assignment.
AU - Static variable in class de.upb.swt.mcie.formulas.BinaryOp
Code for the CTL operator AU.
AU - Static variable in class de.upb.swt.mcie.parser.Scanner
The Pattern for the AU operator.
AX - Static variable in class de.upb.swt.mcie.formulas.UnaryOp
Code for the CTL operator AX.
AX - Static variable in class de.upb.swt.mcie.parser.Scanner
The Pattern for the AX operator.

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