public interface Term extends Comparable<Term>, SummationVariableOrTerm
Predicate.
All terms are immutable.| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object other) |
int |
hashCode() |
String |
toString() |
compareToCopyright © 2018 University of California, Santa Cruz. All rights reserved.