ConForM.CoopnTools.Constraint
Interface AddAxiomAble

All Known Implementing Classes:
ConstraintNodeBody

public interface AddAxiomAble

Node able to add an axiom symbol.


Method Summary
 void addAxiom()
           
 

Method Detail

addAxiom

public void addAxiom()