public final class TermLabelSV extends AbstractSV implements SchemaVariable, TermLabel
Modifier | Constructor and Description |
---|---|
protected |
TermLabelSV(Name name) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
getChild(int i)
Retrieves the i-th parameter object of this term label.
|
int |
getChildCount()
Gets the number of parameters of this term label.
|
java.lang.String |
proofToString()
Creates a parseable string representation of the declaration of the
schema variable.
|
java.lang.String |
toString() |
boolean |
validTopLevel(Term term)
Checks whether the top level structure of the given @link Term
is syntactically valid, given the assumption that the top level
operator of the term is the same as this Operator.
|
isStrict, toString
additionalValidTopLevel, additionalValidTopLevel2, argSort, argSorts, sort, sort
arity, bindVarsAt, isRigid, name, whereToBind
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
isStrict
argSort, argSorts, sort
arity, bindVarsAt, isRigid, sort
protected TermLabelSV(Name name)
public java.lang.String proofToString()
SchemaVariable
proofToString
in interface SchemaVariable
public java.lang.String toString()
toString
in class AbstractOperator
public boolean validTopLevel(Term term)
Operator
validTopLevel
in interface Operator
validTopLevel
in class AbstractOperator
Term
is valid.public java.lang.Object getChild(int i)
TermLabel
A term label may have structure, i.e. can be parameterized.
public int getChildCount()
TermLabel
getChildCount
in interface TermLabel