Package ConForM.CoopnTools.Constraint

Interface Summary
AddAxiomAble Node able to add an axiom symbol.
AddBodyAble Node able to add an use symbol.
AddConsAble Node able to add an use symbol.
AddInterfaceAble Node able to add an use symbol.
AddVariableAble Node able to add an use symbol.
 

Class Summary
AssignEditor  
AtomEditor  
AtomKindEditor  
ComboLogOp  
ConsAction Editor action.
ConsCheckAction Editor copy action.
ConsCopyAction Editor copy action.
ConsCutAction Editor cut action.
ConsEnv Editor tool environment.
ConsEnvMgr Editor tool environment manager.
ConsGenerateAction Editor copy action.
ConsPanel  
ConsPanelAxiom  
ConsPanelConsSet  
ConsPanelConstraint  
ConsPanelSymbol  
ConsPanelVariable  
ConsPasteAction Editor paste action.
ConsRedoAction Constraint Editor redo action.
ConsSaveAction Editor save action.
Constraint Constraint tool.
ConstraintNode This class symbolizes a node in the constraint tree of the constraints editor.
ConstraintNodeAxiom  
ConstraintNodeAxiomField  
ConstraintNodeAxiomsField  
ConstraintNodeBody This node symbolizes a constraints body
ConstraintNodeCons  
ConstraintNodeConsField  
ConstraintNodeConstraintSet  
ConstraintNodeConstraintsField  
ConstraintNodeField  
ConstraintNodeInterface This node symbolizes an constraints interface.
ConstraintNodeVariable  
ConstraintNodeVariableField  
ConstraintNodeVariablesField  
ConstraintTree  
ConsTreeCellRenderer  
ConsUndoAction Constraint Editor undo action.
ConsUnifCombo  
ExprAssignTextField  
HMLEditor  
HMLSyncEditor  
HmlVarUnifCombo  
ItEnumeration Enumeration built from an iterator.
NameAssignTextField  
NodeAction ConstraintTree Node action.
NodeAddAxiomAction CoopnTree node add axiom action.
NodeAddAxiomFieldAction CoopnTree node add rename action.
NodeAddBodyAction CoopnTree node add adtBody action.
NodeAddConsAction CoopnTree node add use action.
NodeAddConsFieldAction CoopnTree node add use action.
NodeAddInterfaceAction CoopnTree node add adtInterface action.
NodeAddVariableAction CoopnTree node add variable action.
NodeAddVariableFieldAction CoopnTree node add variable action.
NodeOpenAllAction CoopnTree node open all element action.
NodeRemoveAction ConstraintTree node remove element action.
NodeShowEditAction ConstraintTree node remove element action.
QuitMenuItem Quit menu item.
ReloadMenuItem reload menu item.
SaveAsMenuItem reload menu item.
ShowHelpMenuItem Show help menu item.
ShowVersionMenuItem Show version menu item.
SpecMethodUnifCombo  
SpecVarUnifCombo  
VarUnifCombo