Uses of Class
jpov.structure.Proofs

Packages that use Proofs

jml2b.pog.lemma
jpov.structure

Uses of Proofs in jml2b.pog.lemma

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

void	Proofs.mergeWith(Proofs jf) Merge two proofs.

Uses of Proofs in jpov.structure

Subclasses of Proofs in jpov.structure

class	StaticInitProofs
class	WellDefinedMethodProofs
class	WellDefInvProofs

Methods in jpov.structure that return Proofs

Proofs	Class.getStaticInitLemmas() Returns the static initialization lemmas.
Proofs	Class.getWellDefInvLemmas()
Proofs	Method.getLemmas() Returns the lemmas.
Proofs	Method.getWellDefinednessLemmas()