ConForM.CoopnTools.Edit
Interface AddAxiomAble

All Known Implementing Classes:
CoopnNodeContextBody, CoopnNodeClassBody, CoopnNodeAdtBody

public interface AddAxiomAble

Node able to add an axiom symbol.


Method Summary
 void addAxiom()
           
 

Method Detail

addAxiom

public void addAxiom()