public final class LogicVariable extends AbstractSortedOperator implements QuantifiableVariable, ParsableVariable
Constructor and Description |
---|
LogicVariable(Name name,
Sort sort) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
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
public java.lang.String toString()
toString
in class AbstractOperator