|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Interface Summary | |
| Connective | A connective used to create complex sentences. |
| Sentence | A sentence in first-order logic. |
| Class Summary | |
| AndConnective | A Connective representing the AND logical operator. |
| AtomicSentence | An atomic sentence in first-order logic. |
| AttributesListModel | |
| BasicTableCellRenderer | |
| BasicTableSelectionModel | |
| CompositeSentence | A composite sentence in first-order logic. |
| EdgeMapping | |
| EdgeMappingObserver | |
| EdgePropertiesTableModel | |
| MappingEditor | |
| MappingListModel | |
| MappingUtility | A utility class containing methods used to update the appearance of node and edge figures based on properties of thier corresponding nodes and edges. |
| NodeMapping | |
| NodeMappingObserver | |
| NodePropertiesTableModel | |
| OrConnective | A Connective representing the OR logical connective. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||