public final class VariableSV extends AbstractSV implements QuantifiableVariable
Constructor and Description |
---|
VariableSV(Name name,
Sort sort)
Creates a new SchemaVariable that is used as placeholder for
bound(quantified) variables.
|
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
proofToString
in interface SchemaVariable