| Interface | Description |
|---|---|
| BinaryCommutativeMarker |
A marker interface for
Node classes that can be efficiently queried via
NodeClass.isCommutative(). |
| CanonicalizableMarker |
A marker interface for
Node classes that can be efficiently queried via
NodeClass.isCanonicalizable(). |
| NodeWithIdentity |
Nodes that are marked with this interface have an implicit unique identity, i.e., two nodes are
never treated as having
equal data fields. |
| SimplifiableMarker |
A marker interface for
Node classes that can be efficiently queried via
NodeClass.isSimplifiable(). |