@FunctionalInterface public interface PredicateN extends AbstractPredicateN<PredicateN>
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.
This is a functional interface whose functional method is AbstractPredicateN.testAllUnchecked(Object...).
ToBooleanFunctionN| Modifier and Type | Interface and Description |
|---|---|
static class |
PredicateN.Instance
An instance of
AbstractPredicateN which properly defines the
arity and type of that particular predicate. |
| Modifier and Type | Method and Description |
|---|---|
default PredicateN |
and(PredicateN other)
Intersects this object with another object to produce a combined result.
|
default PredicateN |
nand(PredicateN other)
Intersects this object with another object to produce the complement of a combined result.
|
default PredicateN |
nor(PredicateN other)
Unions this object with another object to produce the complement of a combined result.
|
default PredicateN |
not()
Gets the complement of this object.
|
default PredicateN |
or(PredicateN other)
Unions this object with another object to produce a combined result.
|
default PredicateN |
orNot(PredicateN other)
Subtracts the other object from this object to produce the complement of a combined result.
|
default PredicateN |
sub(PredicateN other)
Subtracts the other object from this object to produce a combined result.
|
default PredicateN |
xnor(PredicateN other)
Disjunctively unions this object with another object to produce the complement of a combined result.
|
default PredicateN |
xor(PredicateN other)
Disjunctively unions this object with another object to produce a combined result.
|
applyAllAsBooleanUnchecked, testAllUncheckeddefault PredicateN not()
Not~A or a logical NOT.not in interface AbstractPredicateN<PredicateN>not in interface LogicalOperator<PredicateN>not in interface Nand<PredicateN>not in interface Nor<PredicateN>not in interface Notnot in interface OrNot<PredicateN>not in interface Sub<PredicateN>not in interface Xnor<PredicateN>not in interface Xor<PredicateN>default PredicateN and(PredicateN other)
AndA & B or a logical AND.and in interface AbstractPredicateN<PredicateN>and in interface And<PredicateN>and in interface LogicalOperator<PredicateN>and in interface Nand<PredicateN>and in interface Sub<PredicateN>and in interface Xnor<PredicateN>and in interface Xor<PredicateN>other - the intersected objectother objectdefault PredicateN or(PredicateN other)
OrA | B or a logical OR.or in interface AbstractPredicateN<PredicateN>or in interface LogicalOperator<PredicateN>or in interface Nor<PredicateN>or in interface Or<PredicateN>or in interface OrNot<PredicateN>or in interface Xnor<PredicateN>or in interface Xor<PredicateN>other - the unioned objectother objectdefault PredicateN xor(PredicateN other)
XorA ^ B or a logical XOR.xor in interface AbstractPredicateN<PredicateN>xor in interface LogicalOperator<PredicateN>xor in interface Xnor<PredicateN>xor in interface Xor<PredicateN>other - the disjunctively unioned objectother objectdefault PredicateN sub(PredicateN other)
SubA - B or the relative complement.sub in interface AbstractPredicateN<PredicateN>sub in interface LogicalOperator<PredicateN>sub in interface Sub<PredicateN>sub in interface Xnor<PredicateN>sub in interface Xor<PredicateN>other - the subtrahend objectother object being
subtracted from this objectdefault PredicateN nand(PredicateN other)
Nand~(A & B) or a logical NAND.nand in interface AbstractPredicateN<PredicateN>nand in interface LogicalOperator<PredicateN>nand in interface Nand<PredicateN>other - the intersected objectother objectdefault PredicateN nor(PredicateN other)
Nor~(A | B) or a logical NOR.nor in interface AbstractPredicateN<PredicateN>nor in interface LogicalOperator<PredicateN>nor in interface Nor<PredicateN>other - the unioned objectother objectdefault PredicateN xnor(PredicateN other)
Xnor~(A ^ B) or a logical XNOR.xnor in interface AbstractPredicateN<PredicateN>xnor in interface LogicalOperator<PredicateN>xnor in interface Xnor<PredicateN>other - the disjunctively unioned objectother objectdefault PredicateN orNot(PredicateN other)
OrNot~(A - B) or the complement of the relative complement.orNot in interface AbstractPredicateN<PredicateN>orNot in interface LogicalOperator<PredicateN>orNot in interface OrNot<PredicateN>other - the subtrahend objectother
object being subtracted from this object