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.