jml2b.pog.lemma
Class TheoremList

java.lang.Object
  jml2b.util.Profiler
      jml2b.pog.lemma.TheoremList

public class TheoremList

extends Profiler

This class implements a list of theorems

Author:

L. Burdy

Method Summary

java.lang.Object	clone() Clones the theorem list
void	getFields(java.util.Set fields)
SimpleLemma	getLemma(int i) Returns a lemma of a theorem of the list
Theorem	getTheorem(int i) Returns a theoram of the list
int	nbLemmas() Returns the number of lemmas in the theorem list
int	nbTheorems() Returns the number of theorems in the theorem list
void	sub(Substitution s) Apply a substitution to the theorem list.

Methods inherited from class jml2b.util.Profiler

runGC

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

clone

public java.lang.Object clone()

Clones the theorem list

Returns:

the cloned theorem list

nbLemmas

public int nbLemmas()

Returns the number of lemmas in the theorem list

nbTheorems

public int nbTheorems()

Returns the number of theorems in the theorem list

getLemma

public SimpleLemma getLemma(int i)

Returns a lemma of a theorem of the list

Parameters:

i - The index of the searched lemma

Returns:

The ith lemma of the theorem list

getTheorem

public Theorem getTheorem(int i)

Returns a theoram of the list

Parameters:

i - The index of the searched theorem

Returns:

The ith theorem of the list

sub

public void sub(Substitution s)

Apply a substitution to the theorem list.

Parameters:

s - substitution to apply.

Returns:

the current theorem list substituted.

getFields

public void getFields(java.util.Set fields)