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.

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