Package jpov.structure

Class Summary

Class	This class implements a node tree corresponding to a class.
Field
Goal	This class implements a goal.
JmlFile	This class implements the root node of the tree.
Lemma	This class implements a node tree corresponding to a case.
LemmaHierarchy
Method	This class implements a node tree corresponding to a method.
PartialJmlFile	This class implements the root node of the tree.
Proofs	This class implements a node in the tree corresponding to the static initialization.
StaticInitProofs
TreeObject	This class defines a node of the tree of the viewer.
VirtualFormula	This class implements a formula with its corresponding set of boxes.
WellDefinedMethodProofs
WellDefInvProofs