jpov.viewer.lemma
Class HypLine

java.lang.Object
  jpov.viewer.lemma.HypLine

public class HypLine

extends java.lang.Object

This class implements a line in the Table viewer that displays the hypothesis of a lemma

Author:

L. Burdy

Constructor Summary

HypLine(VirtualFormula fo, java.lang.String t, boolean f)
Constructs a line

Method Summary

Formula	getFormula() Returns the associated formula
int	getNum() Returns the line number
byte	getOrigin() Returns the origin of the associated formula.

Methods inherited from class java.lang.Object

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

Constructor Detail

HypLine

public HypLine(VirtualFormula fo,
               java.lang.String t,
               boolean f)

Constructs a line

Parameters:

fo - The associated formula

t - The displayed string

f - indicates if this line is the first one for a lemma

Method Detail

getOrigin

public byte getOrigin()

Returns the origin of the associated formula.

getFormula

public Formula getFormula()

Returns the associated formula

getNum

public int getNum()

Returns the line number

Returns:

num