Uses of Class
jpov.structure.VirtualFormula

Packages that use VirtualFormula

jpov.structure
jpov.viewer.lemma

Uses of VirtualFormula in jpov.structure

Methods in jpov.structure that return VirtualFormula

VirtualFormula	Goal.getVf() Returns the virtual formula.
VirtualFormula[]	Lemma.getHyp() Returns the array of hypothesis.

Uses of VirtualFormula in jpov.viewer.lemma

Constructors in jpov.viewer.lemma with parameters of type VirtualFormula

HypLine(VirtualFormula fo, java.lang.String t, boolean f)
Constructs a line