public abstract class AbstractSV extends AbstractSortedOperator implements SchemaVariable
Modifier and Type | Field and Description |
---|---|
private boolean |
isStrict |
Modifier | Constructor and Description |
---|---|
protected |
AbstractSV(Name name,
ImmutableArray<Sort> argSorts,
Sort sort,
boolean isRigid,
boolean isStrict) |
protected |
AbstractSV(Name name,
Sort[] argSorts,
Sort sort,
boolean isRigid,
boolean isStrict) |
protected |
AbstractSV(Name name,
Sort sort,
boolean isRigid,
boolean isStrict) |
Modifier and Type | Method and Description |
---|---|
boolean |
isStrict() |
protected java.lang.String |
toString(java.lang.String sortSpec) |
additionalValidTopLevel, additionalValidTopLevel2, argSort, argSorts, sort, sort
arity, bindVarsAt, isRigid, name, toString, validTopLevel, whereToBind
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
proofToString
argSort, argSorts, sort
arity, bindVarsAt, isRigid, sort, validTopLevel
protected AbstractSV(Name name, ImmutableArray<Sort> argSorts, Sort sort, boolean isRigid, boolean isStrict)
protected AbstractSV(Name name, Sort[] argSorts, Sort sort, boolean isRigid, boolean isStrict)
protected final java.lang.String toString(java.lang.String sortSpec)
public final boolean isStrict()
isStrict
in interface SchemaVariable