public final class SkolemTermSV extends AbstractSV
Constructor and Description |
---|
SkolemTermSV(Name name,
Sort sort)
Creates a new schema variable that is used as placeholder for
skolem terms.
|
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
public java.lang.String toString()
toString
in class AbstractOperator
public java.lang.String proofToString()
SchemaVariable