Uses of Interface
jml2b.pog.lemma.ILemma

Packages that use ILemma

jml2b.pog.lemma

Uses of ILemma in jml2b.pog.lemma

Classes in jml2b.pog.lemma that implement ILemma

(package private) class	jml2b.pog.lemma.BehaviourLemma This class defines lemmas resulting from the proof of a method specification with differents cases.
class	ExceptionalLemma This class defines lemmas resulting from the proof of an exceptional method specification.
class	ExsuresLemma This class contains the information extracted from an exsures pragma.
class	Goal This class implements a goal.
class	Lemma This class defines a lemma.
class	NonObviousGoal This class implements a non obvious goal, that is a goal that will be saved in the JPO file.
class	NormalLemma This class defines lemmas resulting from the proof of a normal method specification.
class	SimpleLemma This class implements a simple lemma, that is a set of goals
class	VariantLemma