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

E

EF - Static variable in class de.upb.swt.mcie.formulas.UnaryOp
Code for the CTL operator EF.
EF - Static variable in class de.upb.swt.mcie.parser.Scanner
The Pattern for the EF operator.
EG - Static variable in class de.upb.swt.mcie.formulas.UnaryOp
Code for the CTL operator EG.
eg(ROBDD) - Method in class de.upb.swt.mcie.mc.FairModel
Implements the operation EG considering the fairness conditions.
eg(ROBDD) - Method in class de.upb.swt.mcie.mc.Model
Standard implementation of the operation EG f.
EG - Static variable in class de.upb.swt.mcie.parser.Scanner
The Pattern for the EG operator.
End - Class in de.upb.swt.mcie.parser.token
Implements the token for the end of a character sequence.
End() - Constructor for class de.upb.swt.mcie.parser.token.End
 
EQU - Static variable in class de.upb.swt.mcie.formulas.BinaryOp
Code for the EQUivalence operation, which is the same as EQUality.
equals(Object) - Method in class de.upb.swt.mcie.robdds.InnerNode
Checks whether this inner node is equal to an other node.
equals(Object) - Method in class de.upb.swt.mcie.robdds.NodePair
Checks whether this pair node is equal to an other pair.
equiv - Variable in class de.upb.swt.mcie.robdds.Context
The equivalence operation (equality) in this context.
ER - Static variable in class de.upb.swt.mcie.formulas.BinaryOp
Code for the CTL operator ER.
er(ROBDD, ROBDD) - Method in class de.upb.swt.mcie.mc.FairModel
Implements the operation ER considering the fairness conditions.
er(ROBDD, ROBDD) - Method in class de.upb.swt.mcie.mc.Model
Standard implementation of the operation E[ f1 R f2 ].
ER - Static variable in class de.upb.swt.mcie.parser.Scanner
The Pattern for the ER operator.
errorNo - Variable in exception de.upb.swt.mcie.formulas.IncorrectUseException
The number of the error.
errorNo - Variable in exception de.upb.swt.mcie.mc.IncorrectUseException
The number of the error.
errorNo - Variable in exception de.upb.swt.mcie.robdds.IncorrectUseException
The number of the error.
errorNo - Variable in exception de.upb.swt.mcie.robdds.InternalError
The number of the error.
EU - Static variable in class de.upb.swt.mcie.formulas.BinaryOp
Code for the CTL operator EU.
eu(ROBDD, ROBDD) - Method in class de.upb.swt.mcie.mc.FairModel
Implements the operation EU considering the fairness conditions.
eu(ROBDD, ROBDD) - Method in class de.upb.swt.mcie.mc.Model
Standard implementation of the operation E[ f1 U f2 ].
EU - Static variable in class de.upb.swt.mcie.parser.Scanner
The Pattern for the EU operator.
eval(Assignment) - Method in class de.upb.swt.mcie.robdds.InnerNode
Evaluates the ROBDD in the given assignment, where the result is the ROBDD node at which the evaluation terminates.
eval(Assignment) - Method in class de.upb.swt.mcie.robdds.ROBDD
Evaluates the ROBDD in the given assignment ass, where the result is the ROBDD node at which the evaluation terminates.
eval(Assignment) - Method in class de.upb.swt.mcie.robdds.TerminalNode
Evaluates the ROBDD in the given assignment, where the result is the ROBDD node at which the evaluation terminates.
EX - Static variable in class de.upb.swt.mcie.formulas.UnaryOp
Code for the CTL operator EX.
ex(ROBDD) - Method in class de.upb.swt.mcie.mc.FairModel
Implements the operation EX considering the fairness conditions.
ex(ROBDD) - Method in class de.upb.swt.mcie.mc.Kripkestructure
Implements the operation EX.
ex(ROBDD) - Method in class de.upb.swt.mcie.mc.Model
Must implement the EX operator for this particular model.
ex(ROBDD) - Method in class de.upb.swt.mcie.mc.Transitionsystem
Implements the operation EX.
EX - Static variable in class de.upb.swt.mcie.parser.Scanner
The Pattern for the EX operator.

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