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

R

reachable() - Method in class de.upb.swt.mcie.mc.FairModel
Computes the reachable states of the fair model.
reachable - Variable in class de.upb.swt.mcie.mc.Kripkestructure
If calculated already, this represents the reachable states of the Kripke structure.
reachable() - Method in class de.upb.swt.mcie.mc.Kripkestructure
Computes the reachable states of the Kripke structure.
reachable - Variable in class de.upb.swt.mcie.mc.Transitionsystem
The reachable states of this transition system.
reader - Variable in class de.upb.swt.mcie.parser.Scanner
The reader with the text on which the scanner works.
relation - Variable in class de.upb.swt.mcie.mc.Kripkestructure
The ROBDD representing the transition relation.
relationTable - Variable in class de.upb.swt.mcie.robdds.Context
This table is used during the calculation of the relation product of two relations.
relProd(ROBDD) - Method in class de.upb.swt.mcie.robdds.InnerNode
Computes the product of two relations.
relProd(InnerNode) - Method in class de.upb.swt.mcie.robdds.InnerNode
Computes the product of two relations.
relProd(TerminalNode) - Method in class de.upb.swt.mcie.robdds.InnerNode
Computes the product of two relations.
relProd(ROBDD) - Method in class de.upb.swt.mcie.robdds.ROBDD
Computes the product of two relations.
relProd(ROBDD) - Method in class de.upb.swt.mcie.robdds.TerminalNode
Computes the product of two relations.
relProd(InnerNode) - Method in class de.upb.swt.mcie.robdds.TerminalNode
Computes the product of two relations.
relProd(TerminalNode) - Method in class de.upb.swt.mcie.robdds.TerminalNode
Computes the product of two relations.
repr - Variable in class de.upb.swt.mcie.robdds.Variable
The ROBDD representing the formula that consists of this variable only.
representation - Static variable in class de.upb.swt.mcie.formulas.BinaryOp
String representation of the different operators.
representation - Static variable in class de.upb.swt.mcie.formulas.UnaryOp
String representation of the different operators.
revert() - Method in class de.upb.swt.mcie.parser.Scanner
Reverts to the previously read token.
right - Variable in class de.upb.swt.mcie.formulas.BinaryOp
The right subformula.
ROBDD - Class in de.upb.swt.mcie.robdds
This abstract class represents the nodes of an ROBDD.
ROBDD() - Constructor for class de.upb.swt.mcie.robdds.ROBDD
 

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