Package | Description |
---|---|
de.uka.ilkd.key.gui.nodeviews |
Modifier and Type | Class and Description |
---|---|
static class |
DragNDropInstantiator.TacletFilter.TacletWithIfFindAndNoReplacewith
This filter selects all Taclet which have an assumes,
find and no replacewith part.
|
static class |
DragNDropInstantiator.TacletFilter.TacletWithIfFindAndReplacewith
This filter selects all Taclet which have an assumes,
find and at least one replacewith part.
|
static class |
DragNDropInstantiator.TacletFilter.TacletWithNoIf
This filter selects all Taclet which have no assume, but a
find.
|
static class |
DragNDropInstantiator.TacletFilter.TacletWithNoIfFindAndAddrule
This filter selects all Taclet which have no assumes, but a
find and at least one addrule section.
|
Modifier and Type | Field and Description |
---|---|
static DragNDropInstantiator.TacletFilter |
DragNDropInstantiator.TacletFilter.TACLET_WITH_IF_FIND_AND_NO_REPLACEWITH
This filter selects all Taclet which have an assumes,
find and no replacewith part.
|
static DragNDropInstantiator.TacletFilter |
DragNDropInstantiator.TacletFilter.TACLET_WITH_IF_FIND_AND_REPLACEWITH
This filter selects all Taclet which have an assumes,
find and at least one replacewith part.
|
static DragNDropInstantiator.TacletFilter |
DragNDropInstantiator.TacletFilter.TACLET_WITH_NO_IF
This filter selects all Taclets which have no assumes,
sequent but a findpart.
|
static DragNDropInstantiator.TacletFilter |
DragNDropInstantiator.TacletFilter.TACLET_WITH_NO_IF_FIND_AND_ADDRULE
This filter selects all Taclet which have an assumes,
find and no replacewith part.
|
Copyright © 2003-2019 The KeY-Project.