public final class FormulaSV extends AbstractSV
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
FormulaSV(Name name, boolean isRigid)
name
- the name of the SchemaVariableisRigid
- true iff this SV may only match rigid formulaspublic java.lang.String toString()
toString
in class AbstractOperator
public java.lang.String proofToString()
SchemaVariable