static final class NodePredicates.TautologyPredicate extends Object implements NodePredicate
| Constructor and Description |
|---|
TautologyPredicate() |
| Modifier and Type | Method and Description |
|---|---|
NodePredicate |
and(NodePredicate np) |
boolean |
apply(Node n) |
NodePredicate |
negate() |
NodePredicate |
or(NodePredicate np) |
TautologyPredicate()
public boolean apply(Node n)
apply in interface NodePredicatepublic NodePredicate and(NodePredicate np)
and in interface NodePredicatepublic NodePredicate negate()
negate in interface NodePredicatepublic NodePredicate or(NodePredicate np)
or in interface NodePredicate