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