P - the type of this predicate@InheritOnly public interface AbstractPredicate0<P extends AbstractPredicate0<P>> extends AbstractPredicateN<P>, net.ashwork.functionality.partial.FunctionVariant<java.lang.Boolean,net.ashwork.functionality.primitive.booleans.ToBooleanFunction0>
boolean-valued result.
This is the zero-arity specialization for AbstractPredicateN.
This is the predicate specialization for ToBooleanFunction0.AbstractPredicateN,
ToBooleanFunction0| Modifier and Type | Method and Description |
|---|---|
default AbstractPredicate0<P> |
and(P other)
Intersects this object with another object to produce a combined result.
|
default <V> net.ashwork.functionality.Function0<V> |
andThen(net.ashwork.functionality.Function1<? super java.lang.Boolean,? extends V> after) |
default <V> net.ashwork.functionality.Function0<V> |
andThenUnchecked(net.ashwork.functionality.Function1<? super java.lang.Boolean,? extends V> after) |
default int |
arity() |
default AbstractPredicate0<P> |
nand(P other)
Intersects this object with another object to produce the complement of a combined result.
|
default AbstractPredicate0<P> |
nor(P other)
Unions this object with another object to produce the complement of a combined result.
|
default AbstractPredicate0<P> |
not()
Gets the complement of this object.
|
default AbstractPredicate0<P> |
or(P other)
Unions this object with another object to produce a combined result.
|
default AbstractPredicate0<P> |
orNot(P other)
Subtracts the other object from this object to produce the complement of a combined result.
|
default AbstractPredicate0<P> |
sub(P other)
Subtracts the other object from this object to produce a combined result.
|
boolean |
test()
Evaluates this predicate.
|
default boolean |
testAllUnchecked(java.lang.Object... args)
Evaluates this predicate on the given arguments.
|
default net.ashwork.functionality.primitive.booleans.ToBooleanFunction0 |
toFunctionVariant() |
default AbstractPredicate0<P> |
xnor(P other)
Disjunctively unions this object with another object to produce the complement of a combined result.
|
default AbstractPredicate0<P> |
xor(P other)
Disjunctively unions this object with another object to produce a combined result.
|
applyAllAsBooleanUncheckedboolean test()
true if the input arguments match the predicate, otherwise
falsedefault boolean testAllUnchecked(java.lang.Object... args)
AbstractPredicateNtestAllUnchecked in interface AbstractPredicateN<P extends AbstractPredicate0<P>>args - the input argumentstrue if the input arguments match the predicate, otherwise
falsedefault int arity()
arity in interface net.ashwork.functionality.partial.Arityarity in interface net.ashwork.functionality.FunctionN<java.lang.Boolean>default net.ashwork.functionality.primitive.booleans.ToBooleanFunction0 toFunctionVariant()
toFunctionVariant in interface net.ashwork.functionality.partial.FunctionVariant<java.lang.Boolean,net.ashwork.functionality.primitive.booleans.ToBooleanFunction0>ToBooleanFunction0default <V> net.ashwork.functionality.Function0<V> andThen(net.ashwork.functionality.Function1<? super java.lang.Boolean,? extends V> after)
andThen in interface net.ashwork.functionality.FunctionN<java.lang.Boolean>andThen in interface net.ashwork.functionality.partial.ResultChainable<java.lang.Boolean>andThen in interface net.ashwork.functionality.partial.ResultChainableResult<java.lang.Boolean>Function0default <V> net.ashwork.functionality.Function0<V> andThenUnchecked(net.ashwork.functionality.Function1<? super java.lang.Boolean,? extends V> after)
andThenUnchecked in interface net.ashwork.functionality.FunctionN<java.lang.Boolean>andThenUnchecked in interface net.ashwork.functionality.partial.ResultChainable<java.lang.Boolean>andThenUnchecked in interface net.ashwork.functionality.partial.ResultChainableResult<java.lang.Boolean>Function0default AbstractPredicate0<P> not()
Not~A or a logical NOT.not in interface AbstractPredicateN<P extends AbstractPredicate0<P>>not in interface LogicalOperator<P extends AbstractPredicate0<P>>not in interface Nand<P extends AbstractPredicate0<P>>not in interface Nor<P extends AbstractPredicate0<P>>not in interface Notnot in interface OrNot<P extends AbstractPredicate0<P>>not in interface Sub<P extends AbstractPredicate0<P>>not in interface Xnor<P extends AbstractPredicate0<P>>not in interface Xor<P extends AbstractPredicate0<P>>default AbstractPredicate0<P> and(P other)
AndA & B or a logical AND.and in interface AbstractPredicateN<P extends AbstractPredicate0<P>>and in interface And<P extends AbstractPredicate0<P>>and in interface LogicalOperator<P extends AbstractPredicate0<P>>and in interface Nand<P extends AbstractPredicate0<P>>and in interface Sub<P extends AbstractPredicate0<P>>and in interface Xnor<P extends AbstractPredicate0<P>>and in interface Xor<P extends AbstractPredicate0<P>>other - the intersected objectother objectdefault AbstractPredicate0<P> or(P other)
OrA | B or a logical OR.or in interface AbstractPredicateN<P extends AbstractPredicate0<P>>or in interface LogicalOperator<P extends AbstractPredicate0<P>>or in interface Nor<P extends AbstractPredicate0<P>>or in interface Or<P extends AbstractPredicate0<P>>or in interface OrNot<P extends AbstractPredicate0<P>>or in interface Xnor<P extends AbstractPredicate0<P>>or in interface Xor<P extends AbstractPredicate0<P>>other - the unioned objectother objectdefault AbstractPredicate0<P> xor(P other)
XorA ^ B or a logical XOR.xor in interface AbstractPredicateN<P extends AbstractPredicate0<P>>xor in interface LogicalOperator<P extends AbstractPredicate0<P>>xor in interface Xnor<P extends AbstractPredicate0<P>>xor in interface Xor<P extends AbstractPredicate0<P>>other - the disjunctively unioned objectother objectdefault AbstractPredicate0<P> sub(P other)
SubA - B or the relative complement.sub in interface AbstractPredicateN<P extends AbstractPredicate0<P>>sub in interface LogicalOperator<P extends AbstractPredicate0<P>>sub in interface Sub<P extends AbstractPredicate0<P>>sub in interface Xnor<P extends AbstractPredicate0<P>>sub in interface Xor<P extends AbstractPredicate0<P>>other - the subtrahend objectother object being
subtracted from this objectdefault AbstractPredicate0<P> nand(P other)
Nand~(A & B) or a logical NAND.nand in interface AbstractPredicateN<P extends AbstractPredicate0<P>>nand in interface LogicalOperator<P extends AbstractPredicate0<P>>nand in interface Nand<P extends AbstractPredicate0<P>>other - the intersected objectother objectdefault AbstractPredicate0<P> nor(P other)
Nor~(A | B) or a logical NOR.nor in interface AbstractPredicateN<P extends AbstractPredicate0<P>>nor in interface LogicalOperator<P extends AbstractPredicate0<P>>nor in interface Nor<P extends AbstractPredicate0<P>>other - the unioned objectother objectdefault AbstractPredicate0<P> xnor(P other)
Xnor~(A ^ B) or a logical XNOR.xnor in interface AbstractPredicateN<P extends AbstractPredicate0<P>>xnor in interface LogicalOperator<P extends AbstractPredicate0<P>>xnor in interface Xnor<P extends AbstractPredicate0<P>>other - the disjunctively unioned objectother objectdefault AbstractPredicate0<P> orNot(P other)
OrNot~(A - B) or the complement of the relative complement.orNot in interface AbstractPredicateN<P extends AbstractPredicate0<P>>orNot in interface LogicalOperator<P extends AbstractPredicate0<P>>orNot in interface OrNot<P extends AbstractPredicate0<P>>other - the subtrahend objectother
object being subtracted from this object