public interface QuantifiableVariable extends ParsableVariable
argSort, argSorts, sort
arity, bindVarsAt, isRigid, sort, validTopLevel, validTopLevelException
name
Copyright © 2003-2019 The KeY-Project.