Uses of Package
jpov.structure

Packages that use jpov.structure

jack.plugin.perspective
jml2b.languages
jml2b.languages.java
jml2b.pog.lemma
jml2b.structure.java
jpov
jpov.structure
jpov.viewer.lemma

Classes in jpov.structure used by jack.plugin.perspective

Goal
This class implements a goal.

Lemma
This class implements a node tree corresponding to a case.

LemmaHierarchy

Classes in jpov.structure used by jml2b.languages

Goal
This class implements a goal.

Classes in jpov.structure used by jml2b.languages.java

Goal
This class implements a goal.

Classes in jpov.structure used by jml2b.pog.lemma

Goal
This class implements a goal.

Proofs
This class implements a node in the tree corresponding to the static initialization.

Classes in jpov.structure used by jml2b.structure.java

Class
This class implements a node tree corresponding to a class.

Classes in jpov.structure used by jpov

JmlFile
This class implements the root node of the tree.

PartialJmlFile
This class implements the root node of the tree.

Classes in jpov.structure used by jpov.structure

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.

Method
This class implements a node tree corresponding to a method.

Proofs
This class implements a node in the tree corresponding to the static initialization.

TreeObject
This class defines a node of the tree of the viewer.

VirtualFormula
This class implements a formula with its corresponding set of boxes.

Classes in jpov.structure used by jpov.viewer.lemma

Class
This class implements a node tree corresponding to a class.

Goal
This class implements a goal.

Lemma
This class implements a node tree corresponding to a case.

LemmaHierarchy

VirtualFormula
This class implements a formula with its corresponding set of boxes.