Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
X