public interface SchemaVariable extends ParsableVariable
Modifier and Type | Method and Description |
---|---|
boolean |
isStrict() |
java.lang.String |
proofToString()
Creates a parseable string representation of the declaration of the
schema variable.
|
argSort, argSorts, sort
arity, bindVarsAt, isRigid, sort, validTopLevel
boolean isStrict()
java.lang.String proofToString()