Serializable
Property(Term property)
Property
boundForm(List<Variable> t)
boolean
matches(Property prop)
Term
nonDSPredicateForm()
predicateForm()
String
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
toString
Object