P - the type of this predicate@InheritOnly public interface AbstractPredicateN<P extends AbstractPredicateN<P>> extends net.ashwork.functionality.primitive.booleans.ToBooleanFunctionN, LogicalOperator<P>
n arguments and produces a boolean-valued result.
This is the predicate specialization for ToBooleanFunctionN.
All boolean-producing predicates are derived from this n-arity specialization.ToBooleanFunctionN| Modifier and Type | Method and Description |
|---|---|
default AbstractPredicateN<P> |
and(P other)
Intersects this object with another object to produce a combined result.
|
default boolean |
applyAllAsBooleanUnchecked(java.lang.Object... args) |
default AbstractPredicateN<P> |
nand(P other)
Intersects this object with another object to produce the complement of a combined result.
|
default AbstractPredicateN<P> |
nor(P other)
Unions this object with another object to produce the complement of a combined result.
|
default AbstractPredicateN<P> |
not()
Gets the complement of this object.
|
default AbstractPredicateN<P> |
or(P other)
Unions this object with another object to produce a combined result.
|
default AbstractPredicateN<P> |
orNot(P other)
Subtracts the other object from this object to produce the complement of a combined result.
|
default AbstractPredicateN<P> |
sub(P other)
Subtracts the other object from this object to produce a combined result.
|
boolean |
testAllUnchecked(java.lang.Object... args)
Evaluates this predicate on the given arguments.
|
default AbstractPredicateN<P> |
xnor(P other)
Disjunctively unions this object with another object to produce the complement of a combined result.
|
default AbstractPredicateN<P> |
xor(P other)
Disjunctively unions this object with another object to produce a combined result.
|
boolean testAllUnchecked(java.lang.Object... args)
args - the input argumentstrue if the input arguments match the predicate, otherwise
falsedefault boolean applyAllAsBooleanUnchecked(java.lang.Object... args)
applyAllAsBooleanUnchecked in interface net.ashwork.functionality.primitive.booleans.ToBooleanFunctionNdefault AbstractPredicateN<P> not()
Not~A or a logical NOT.not in interface LogicalOperator<P extends AbstractPredicateN<P>>not in interface Nand<P extends AbstractPredicateN<P>>not in interface Nor<P extends AbstractPredicateN<P>>not in interface Notnot in interface OrNot<P extends AbstractPredicateN<P>>not in interface Sub<P extends AbstractPredicateN<P>>not in interface Xnor<P extends AbstractPredicateN<P>>not in interface Xor<P extends AbstractPredicateN<P>>default AbstractPredicateN<P> and(P other)
AndA & B or a logical AND.and in interface And<P extends AbstractPredicateN<P>>and in interface LogicalOperator<P extends AbstractPredicateN<P>>and in interface Nand<P extends AbstractPredicateN<P>>and in interface Sub<P extends AbstractPredicateN<P>>and in interface Xnor<P extends AbstractPredicateN<P>>and in interface Xor<P extends AbstractPredicateN<P>>other - the intersected objectother objectdefault AbstractPredicateN<P> or(P other)
OrA | B or a logical OR.or in interface LogicalOperator<P extends AbstractPredicateN<P>>or in interface Nor<P extends AbstractPredicateN<P>>or in interface Or<P extends AbstractPredicateN<P>>or in interface OrNot<P extends AbstractPredicateN<P>>or in interface Xnor<P extends AbstractPredicateN<P>>or in interface Xor<P extends AbstractPredicateN<P>>other - the unioned objectother objectdefault AbstractPredicateN<P> xor(P other)
XorA ^ B or a logical XOR.xor in interface LogicalOperator<P extends AbstractPredicateN<P>>xor in interface Xnor<P extends AbstractPredicateN<P>>xor in interface Xor<P extends AbstractPredicateN<P>>other - the disjunctively unioned objectother objectdefault AbstractPredicateN<P> sub(P other)
SubA - B or the relative complement.sub in interface LogicalOperator<P extends AbstractPredicateN<P>>sub in interface Sub<P extends AbstractPredicateN<P>>sub in interface Xnor<P extends AbstractPredicateN<P>>sub in interface Xor<P extends AbstractPredicateN<P>>other - the subtrahend objectother object being
subtracted from this objectdefault AbstractPredicateN<P> nand(P other)
Nand~(A & B) or a logical NAND.nand in interface LogicalOperator<P extends AbstractPredicateN<P>>nand in interface Nand<P extends AbstractPredicateN<P>>other - the intersected objectother objectdefault AbstractPredicateN<P> nor(P other)
Nor~(A | B) or a logical NOR.nor in interface LogicalOperator<P extends AbstractPredicateN<P>>nor in interface Nor<P extends AbstractPredicateN<P>>other - the unioned objectother objectdefault AbstractPredicateN<P> xnor(P other)
Xnor~(A ^ B) or a logical XNOR.xnor in interface LogicalOperator<P extends AbstractPredicateN<P>>xnor in interface Xnor<P extends AbstractPredicateN<P>>other - the disjunctively unioned objectother objectdefault AbstractPredicateN<P> orNot(P other)
OrNot~(A - B) or the complement of the relative complement.orNot in interface LogicalOperator<P extends AbstractPredicateN<P>>orNot in interface OrNot<P extends AbstractPredicateN<P>>other - the subtrahend objectother
object being subtracted from this object