jtp.rs
Class LinearizedProof

java.lang.Object
  |
  +--jtp.rs.LinearizedProof

public class LinearizedProof

extends Object

Constructor Summary

LinearizedProof(Proof rs)

Method Summary

protected void	assignIndexes(List items, int base)
List	getAxioms()
List	getTheorems()
protected boolean	isAnAxiomRS(Proof rs)
String	printShortComment(Proof p)
protected void	sort(Proof rs)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

LinearizedProof

public LinearizedProof(Proof rs)

Method Detail

getAxioms

public List getAxioms()

getTheorems

public List getTheorems()

assignIndexes

protected void assignIndexes(List items,
                             int base)

isAnAxiomRS

protected boolean isAnAxiomRS(Proof rs)

sort

protected void sort(Proof rs)

printShortComment

public String printShortComment(Proof p)

toString

public String toString()

Overrides:

toString in class Object