public final class TermSV extends AbstractSV
Constructor and Description |
---|
TermSV(Name name,
Sort sort,
boolean isRigid,
boolean isStrict) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
proofToString()
Creates a parseable string representation of the declaration of the
schema variable.
|
java.lang.String |
toString() |
isStrict, toString
additionalValidTopLevel, additionalValidTopLevel2, argSort, argSorts, sort, sort
arity, bindVarsAt, isRigid, name, validTopLevel, whereToBind
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
argSort, argSorts, sort
arity, bindVarsAt, isRigid, sort, validTopLevel
TermSV(Name name, Sort sort, boolean isRigid, boolean isStrict)
name
- the name of the schema variablesort
- the sort of the schema variableisRigid
- true iff this schema variable may only match rigid
termsisStrict
- boolean indicating if the schema variable is declared as
strict forcing exact type matchpublic java.lang.String toString()
toString
in class AbstractOperator
public java.lang.String proofToString()
SchemaVariable