Package org.svvrl.goal.core.logic.bool
-
Class Summary Class Description BoolAnd<T> This class provides conjunctive Boolean expressions.BoolAtomic<T> This class provides atomic Boolean expressions.BoolBinary<T> This class provides binary Boolean expressions.BoolExp<T> This is an abstract class for Boolean expressions.BoolNeg<T> This class provides negative Boolean expressions.BoolOr<T> This class provides disjunctive Boolean expressions.BoolTrue<T> This class provide Boolean expressions that are always valid. -
Enum Summary Enum Description BoolBinaryOp This enumerates binary operations.