Uses of Class
jml2b.pog.lemma.VirtualFormula

Packages that use VirtualFormula

jml2b.pog.lemma

Uses of VirtualFormula in jml2b.pog.lemma

Methods in jml2b.pog.lemma with parameters of type VirtualFormula

boolean

Proofs.isUsed(VirtualFormula vf) Test wheter an hypothesis is used in the theorems.

Constructors in jml2b.pog.lemma with parameters of type VirtualFormula

Goal(VirtualFormula vf, GoalOrigin origin)
Constructs a goal from a formula and an origin.