Uses of Class
jpov.structure.Goal

Packages that use Goal

jack.plugin.perspective
jml2b.languages
jml2b.languages.java
jml2b.pog.lemma
jpov.structure
jpov.viewer.lemma

Uses of Goal in jack.plugin.perspective

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

void	ILemmaViewer.setGoalText(Goal g) Set the goal to display in the goal part of the view
void	LemmaViewer.setGoalText(Goal g) Sets the goal to be displayed in the lemma views

Uses of Goal in jml2b.languages

Methods in jml2b.languages with parameters of type Goal

java.lang.String

ILanguage.displayGoal(Goal g, boolean applySubstitution) Displays a goal in the lemma view.

Uses of Goal in jml2b.languages.java

Methods in jml2b.languages.java with parameters of type Goal

java.lang.String

JavaLanguage.displayGoal(Goal g, boolean applySubstitution)

Uses of Goal in jml2b.pog.lemma

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

void	NonObviousGoal.mergeWith(Goal e) Compares the goal with a set of possible loaded goals.
void	SimpleLemma.mergeWith(Goal[] goals) Merges the lemma with a loaded set of lemmas.

Uses of Goal in jpov.structure

Methods in jpov.structure that return Goal

Goal[]

Lemma.getGoals() Returns the array of goals

Uses of Goal in jpov.viewer.lemma

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

void	LemmaView.setGoalText(Goal g, boolean applySubstitution) Sets the text to be displayed in the goal views