Package | Description |
---|---|
de.uka.ilkd.key.rule.inst |
contains classes for the instantiation of schema variables of
Taclet s. |
Modifier and Type | Field and Description |
---|---|
static GenericSortInstantiations |
GenericSortInstantiations.EMPTY_INSTANTIATIONS |
Modifier and Type | Method and Description |
---|---|
static GenericSortInstantiations |
GenericSortInstantiations.create(ImmutableList<GenericSort> p_sorts,
ImmutableList<GenericSortCondition> p_conditions,
Services services)
Create an object that holds instantiations of the generic sorts
"p_sorts" satisfying the conditions "p_conditions"
|
static GenericSortInstantiations |
GenericSortInstantiations.create(java.util.Iterator<ImmutableMapEntry<SchemaVariable,InstantiationEntry<?>>> p_instantiations,
ImmutableList<GenericSortCondition> p_conditions,
Services services)
Create an object that solves the conditions given by the
instantiation iterator, i.e.
|
GenericSortInstantiations |
SVInstantiations.getGenericSortInstantiations() |
Modifier and Type | Method and Description |
---|---|
abstract boolean |
GenericSortCondition.check(Sort s,
GenericSortInstantiations insts)
returns true if the given sort
s satisfies this generic sort
condition |
Copyright © 2003-2019 The KeY-Project.