public final class ModalOperatorSV extends AbstractSV
Modifier and Type | Field and Description |
---|---|
private ImmutableSet<Modality> |
modalities
the set of modalities this sv can match
|
Constructor and Description |
---|
ModalOperatorSV(Name name,
ImmutableSet<Modality> modalities)
creates a new SchemaVariable that is used as placeholder for
modal operators.
|
Modifier and Type | Method and Description |
---|---|
ImmutableSet<Modality> |
getModalities()
returns an unmodifiable set of operators this schemavariable can match
|
java.lang.String |
proofToString()
Creates a parseable string representation of the declaration of the
schema variable.
|
java.lang.String |
toString() |
isStrict, 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
private final ImmutableSet<Modality> modalities
ModalOperatorSV(Name name, ImmutableSet<Modality> modalities)
name
- the Name of the SchemaVariablemodalities
- modal operators matched by this SVpublic ImmutableSet<Modality> getModalities()
public java.lang.String toString()
toString
in class AbstractOperator
public java.lang.String proofToString()
SchemaVariable