A B C D E F G H I J L M N O P Q R S T U V W Y _

O

Operator - Enum in edu.wis.jtlv.env.spec

All kinds of operators.

OperatorFromString(String) - Static method in enum edu.wis.jtlv.env.spec.Operator

other() - Method in class edu.wis.jtlv.env.module.ModuleBDDField

Return the other version of the field, regardless of which instance this is.