Package | Description |
---|---|
de.uka.ilkd.key.strategy.feature.instantiator |
Modifier and Type | Method and Description |
---|---|
static Feature |
OneOfCP.create(Feature[] features,
BackTrackingManager manager) |
static Feature |
SVInstantiationCP.create(Name svToInstantiate,
ProjectionToTerm value,
BackTrackingManager manager) |
static Feature |
ForEachCP.create(TermBuffer var,
TermGenerator generator,
Feature body,
BackTrackingManager manager) |
static Feature |
SVInstantiationCP.createTriggeredVarCP(ProjectionToTerm value,
BackTrackingManager manager) |
Copyright © 2003-2019 The KeY-Project.