|
TPTP 4.2.0 Platform Project Public API Specification |
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
| Interface Summary | |
|---|---|
| IDatapool | This class defines the primary interface to datapools. |
| IDatapoolCell | An element of a record within a datapool. |
| IDatapoolEquivalenceClass | An equivalence class is a logical grouping of
records within a datapool.
|
| IDatapoolFactory | A datapool factory manages the construction and sharing of
IDatapool objects. |
| IDatapoolListener | |
| IDatapoolRecord | A logical grouping of values in a datapool. |
| IDatapoolSuggestedType | Each variable in a datapool contains a specific type data and this class represents the types that can be readily handled. |
| IDatapoolVariable | Each cell in a record has a
unique variable association. |
| INamedElement | This class defines the base interface for all named elements. |
| Class Summary | |
|---|---|
| DatapoolAdapter | Default implementation of the IDatapoolListener class. |
|
TPTP 4.2.0 Platform Project Public API Specification |
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||