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

B

BinaryOp - Class in de.upb.swt.mcie.formulas
Implements a binary operation in a formula.
BinaryOp(int, Formula, Formula) - Constructor for class de.upb.swt.mcie.formulas.BinaryOp
Constructs a formula starting with a binary operation from the operation and its two subformulas.
binding - Static variable in class de.upb.swt.mcie.formulas.BinaryOp
Table that defines the binding priority of each operator.
binding(int) - Static method in class de.upb.swt.mcie.formulas.BinaryOp
Returns the binding level of this operation.
binding - Static variable in class de.upb.swt.mcie.formulas.UnaryOp
Table that defines the binding priority of each operator.
binding(int) - Static method in class de.upb.swt.mcie.formulas.UnaryOp
Returns the binding level of this operation.
binding() - Method in class de.upb.swt.mcie.parser.token.BinOp
Returns the binding level of this binary operation.
binding() - Method in class de.upb.swt.mcie.parser.token.UnOp
Returns the binding level of the operation.
BinOp - Class in de.upb.swt.mcie.parser.token
Class implementing a token for a binary operation.
BinOp(int) - Constructor for class de.upb.swt.mcie.parser.token.BinOp
Creates a token for the binary operation op.
BinOp - Class in de.upb.swt.mcie.robdds
This class implements binary operations on ROBDDs.
BinOp(Context, boolean[][]) - Constructor for class de.upb.swt.mcie.robdds.BinOp
Creates a new binary operation from the truth table.
BRACE - Static variable in class de.upb.swt.mcie.parser.token.Brack
The code for a brace.
Brack - Class in de.upb.swt.mcie.parser.token
Implements the token for brackets.
Brack(int, int) - Constructor for class de.upb.swt.mcie.parser.token.Brack
Creates a token for a bracket with the corresponding type and version.

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