Uses of Class
org.jmlspecs.jml4.fspv.theory.TheoryLemma

Packages that use TheoryLemma

org.jmlspecs.jml4.fspv
org.jmlspecs.jml4.fspv.theory

Uses of TheoryLemma in org.jmlspecs.jml4.fspv

Methods in org.jmlspecs.jml4.fspv with parameters of type TheoryLemma

java.lang.Object	SimplTranslator.accept(TheoryLemma lemma)
java.lang.Object	SideEffectHandler.accept(TheoryLemma lemma)
java.lang.Object	PrestateDecorator.accept(TheoryLemma lemma)

Uses of TheoryLemma in org.jmlspecs.jml4.fspv.theory

Fields in org.jmlspecs.jml4.fspv.theory declared as TheoryLemma

TheoryLemma[]

Theory.lemmas

Methods in org.jmlspecs.jml4.fspv.theory that return TheoryLemma

TheoryLemma[]

TheoryHelper.getLemmas()

Methods in org.jmlspecs.jml4.fspv.theory with parameters of type TheoryLemma

java.lang.Object	TheoryVisitor.accept(TheoryLemma lemma)
void	TheoryHelper.addLemma(TheoryLemma l)

Constructors in org.jmlspecs.jml4.fspv.theory with parameters of type TheoryLemma

Theory(java.lang.String name, TheoryLemma[] lemmas)