Package fcmodeler.mapping

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.