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

V

value - Variable in class de.upb.swt.mcie.formulas.Constant
The value of the constant.
value - Variable in class de.upb.swt.mcie.parser.token.Const
The value of the constant.
value - Variable in class de.upb.swt.mcie.robdds.TerminalNode
The value of the corresponding node.
Variable - Class in de.upb.swt.mcie.formulas
Implements a variable in a formula.
Variable(String, boolean) - Constructor for class de.upb.swt.mcie.formulas.Variable
Constructs a variable.
variable - Variable in class de.upb.swt.mcie.robdds.InnerNode
The variable associated with this inner node.
Variable - Class in de.upb.swt.mcie.robdds
Implements a variable within an ROBDD's context.
Variable(Context, String, int, boolean) - Constructor for class de.upb.swt.mcie.robdds.Variable
Constructs a variable.
variablesCounter - Variable in class de.upb.swt.mcie.robdds.Context
The number of variables (primed and unprimed) instantiated so far in this context.
variablesTable - Variable in class de.upb.swt.mcie.robdds.Context
The table keeping track of all variables in this context.
version - Variable in class de.upb.swt.mcie.parser.token.Brack
The version of this bracket.

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