Uses of Class
jpov.structure.Lemma

Packages that use Lemma

jack.plugin.perspective
jpov.structure
jpov.viewer.lemma

Uses of Lemma in jack.plugin.perspective

Methods in jack.plugin.perspective with parameters of type Lemma

void	ILemmaViewer.setHypText(Lemma l) Sets the hypotheses to be displayed in the lemma views
void	LemmaViewer.setHypText(Lemma l) Sets the lemma to be displayed in the lemma views

Uses of Lemma in jpov.structure

Methods in jpov.structure that return Lemma

Lemma[]

Proofs.getLemmas() Return the lemmas array

Uses of Lemma in jpov.viewer.lemma

Methods in jpov.viewer.lemma with parameters of type Lemma

void	LemmaView.setHypText(Lemma l) Sets the text to be displayed in the hypothesis views