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

O

op - Variable in class de.upb.swt.mcie.formulas.BinaryOp
The code of the binary operation as defined by the constants in this class.
op - Variable in class de.upb.swt.mcie.formulas.UnaryOp
The code of the operation.
op - Variable in class de.upb.swt.mcie.parser.token.BinOp
The operation (ie its encoding according to BinaryOp).
op - Variable in class de.upb.swt.mcie.parser.token.UnOp
The operation (resp. its encoding UnaryOp).
OPEN - Static variable in class de.upb.swt.mcie.parser.token.Brack
The code for an opening bracket.
OR - Static variable in class de.upb.swt.mcie.formulas.BinaryOp
Code for the OR operation.
OR - Static variable in class de.upb.swt.mcie.parser.Scanner
The Pattern for the OR operation.
or - Variable in class de.upb.swt.mcie.robdds.Context
The or operation in this context.

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