Package mima.domain

Interface Summary
NodeObserver This interface is part of the Observer Pattern in the class Node
 

Class Summary
CentralNode INV: Invariant from super class
INV: getLeftSubNodes() !
CentralNodeTest  
Node INV: getFrame() !
Node.Frame Enumeration for Node Frame
NodeTest  
SubNode INV: Invariant from super class
INV: getSubNodes() !
SubNodeTest