Summary:
Detail:
static Term<Boolean>
and(Term<Boolean> left, Term<Boolean> right)
constant(Boolean value)
not(Term<Boolean> body)
or(Term<Boolean> left, Term<Boolean> right)
xor(Term<Boolean> left, Term<Boolean> right)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait