|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
AddAxiomAble | Node able to add an axiom symbol. |
AddBodyAble | Node able to add an use symbol. |
AddContextUseAble | Node able to add an contextUse symbol. |
AddCreationAble | Node able to add an creation symbol. |
AddDestructionAble | Node able to add an destruction symbol. |
AddGateAble | Node able to add an gate symbol. |
AddGeneratorAble | Node able to add an generator symbol. |
AddInheritAble | Node able to add an inherit symbol. |
AddInitialAble | Node able to add an initial symbol. |
AddInterfaceAble | Node able to add an use symbol. |
AddMethodAble | Node able to add an method symbol. |
AddMorphismAble | Node able to add an use symbol. |
AddObjectAble | Node able to add an object symbol. |
AddOperationAble | Node able to add an use symbol. |
AddPlaceAble | Node able to add an place symbol. |
AddRenameAble | Node able to add an use symbol. |
AddSortAble | Node able to add an use symbol. |
AddSubsortAble | Node able to add an use symbol. |
AddSubtypesAble | Node able to add an use symbol. |
AddTheoremAble | Node able to add an use symbol. |
AddTransitionAble | Node able to add an transition symbol. |
AddTypeAble | Node able to add an use symbol. |
AddUseAble | Node able to add an use symbol. |
AddVariableAble | Node able to add an use symbol. |
ModuleNameObserver | Module name observer. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |