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

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

Parse an operator from a string.

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

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