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.