Package | Description |
---|---|
de.uka.ilkd.key.rule.inst |
contains classes for the instantiation of schema variables of
Taclet s. |
Modifier and Type | Class and Description |
---|---|
class |
GenericSortException
This exception thrown if there is no appropriate instantiation of
the generic sorts occurring within an "SVInstantiations"-object
|
Modifier and Type | Method and Description |
---|---|
SVInstantiations |
SVInstantiations.add(GenericSortCondition p_c,
Services services)
Add the given additional condition for the generic sort instantiations
|
Copyright © 2003-2019 The KeY-Project.