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 . |