|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |