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, validTopLevelException
boolean isStrict()
java.lang.String proofToString()
Copyright © 2003-2019 The KeY-Project.