Uses of Class
jml2b.pog.lemma.Goal

Packages that use Goal

jml2b.pog.lemma

Uses of Goal in jml2b.pog.lemma

Subclasses of Goal in jml2b.pog.lemma

class

NonObviousGoal This class implements a non obvious goal, that is a goal that will be saved in the JPO file.

Methods in jml2b.pog.lemma that return Goal

Goal	SimpleLemma.getGoal(int i) Returns a goal

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

void	SimpleLemma.addGoal(Goal g) Adds a goal to the goal set

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

NonObviousGoal(Goal g)
Constructs a non obvious goal from a goal with a goal status to unproved.