public class TermInstantiation extends InstantiationEntry<Term>
Modifier and Type | Field and Description |
---|---|
private static RigidnessException |
RIGIDNESS_EXCEPTION |
Constructor and Description |
---|
TermInstantiation(SchemaVariable sv,
Term term)
creates a new ContextInstantiationEntry
|
equals, getInstantiation, hashCode, toString
private static final RigidnessException RIGIDNESS_EXCEPTION
TermInstantiation(SchemaVariable sv, Term term)
sv
- the SchemaVariable that is instantiatedterm
- the Term the SchemaVariable is instantiated with