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
N
n1
- Variable in class de.upb.swt.mcie.robdds.
NodePair
The first node of the pair.
n2
- Variable in class de.upb.swt.mcie.robdds.
NodePair
The second node of the pair.
name
- Variable in class de.upb.swt.mcie.formulas.
Variable
The identifier (name) of this variable.
name
- Variable in class de.upb.swt.mcie.parser.token.
Id
The literal of this identifier.
name
- Variable in class de.upb.swt.mcie.robdds.
Variable
The identifier of this variable.
negate()
- Method in class de.upb.swt.mcie.robdds.
InnerNode
Returns the negation of this ROBDD.
negate()
- Method in class de.upb.swt.mcie.robdds.
ROBDD
Returns the negation of the ROBDD.
negate()
- Method in class de.upb.swt.mcie.robdds.
TerminalNode
Returns the negation of the ROBDD in this context.
negation
- Variable in class de.upb.swt.mcie.robdds.
InnerNode
If defined, this attribute refers to the complement of this ROBDD.
NO_PRIMED_VARIABLES_ALLOWED
- Static variable in exception de.upb.swt.mcie.robdds.
IncorrectUseException
Error number: This error indicates that the operation expected an ROBDD without primed variables.
NodePair
- Class in
de.upb.swt.mcie.robdds
This class represents a pair of nodes.
NodePair(ROBDD, ROBDD)
- Constructor for class de.upb.swt.mcie.robdds.
NodePair
Constructs a pair of two ROBDD nodes.
NORMAL
- Static variable in class de.upb.swt.mcie.parser.token.
Brack
The code for a normal bracket (parenthesis).
NOT
- Static variable in class de.upb.swt.mcie.formulas.
UnaryOp
Code for the negation operator.
NOT
- Static variable in class de.upb.swt.mcie.parser.
Scanner
The
Pattern
for the NOT operation.
NOT_IMPLEMENTED
- Static variable in exception de.upb.swt.mcie.mc.
IncorrectUseException
Error number: This error indicates that the invoked method was not implemented in this model.
number
- Variable in class de.upb.swt.mcie.robdds.
Variable
The number of the variable.
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