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 NodePredicate
public NodePredicate and(NodePredicate np)
and
in interface NodePredicate
public NodePredicate negate()
negate
in interface NodePredicate
public NodePredicate or(NodePredicate np)
or
in interface NodePredicate