| Interface | Description |
|---|---|
| ObservableArrayList.ObservableArrayListChangeListener |
| Class | Description |
|---|---|
| AbstractDomainElemChoice |
Model class for the manual choice of an abstract domain element by the user.
|
| AbstractionPredicatesChoiceDialog |
A Swing reimplementation of the (much nicer) JavaFX abstraction predicates
choice dialog -- since JavaFX got removed from Oracle Java.
|
| ObservableArrayList<E> |
An observable
ArrayList; poor reimplementation of the JavaFX class. |
| PredicateAbstractionCompletion |
Completion class for
MergeWithPredicateAbstraction. |