jpov.structure
Class LemmaHierarchy

java.lang.Object
  jpov.structure.TreeObject
      jpov.structure.LemmaHierarchy

public class LemmaHierarchy

extends TreeObject

Author:

lburdy To change the template for this generated type comment go to Window>Preferences>Java>Code Generation>Code and Comments

Method Summary

java.util.Vector	getFlow()
java.util.Vector	getHyp()
java.lang.Object[]	getLemmasWithPo()
int	getNbPo() Returns the number of proof obligations for this node.
int	getNbPoProved() Returns the number of proved proof obligations for this node.
int	getNbPoProved(java.lang.String prover) Returns the number of proved proof obligations for this node.
java.lang.String	getText(int type) Returns the displayed text for this node.
void	setChecked() Sets the node and its children to checked.
void	setUnchecked() Sets the node and its children to unchecked

Methods inherited from class jpov.structure.TreeObject

getParent, isChecked, isProved, percentProved

Methods inherited from class java.lang.Object

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

Method Detail

getText

public java.lang.String getText(int type)

Description copied from class: TreeObject

Returns the displayed text for this node.

Specified by:

getText in class TreeObject

Returns:

the displayed text for this node.

setChecked

public void setChecked()

Description copied from class: TreeObject

Sets the node and its children to checked.

Specified by:

setChecked in class TreeObject

setUnchecked

public void setUnchecked()

Description copied from class: TreeObject

Sets the node and its children to unchecked

Specified by:

setUnchecked in class TreeObject

getNbPo

public int getNbPo()

Description copied from class: TreeObject

Returns the number of proof obligations for this node.

Specified by:

getNbPo in class TreeObject

Returns:

the number of proof obligations for this node

getNbPoProved

public int getNbPoProved(java.lang.String prover)

Description copied from class: TreeObject

Returns the number of proved proof obligations for this node.

Specified by:

getNbPoProved in class TreeObject

Returns:

the number of proved proof obligations for this node

getNbPoProved

public int getNbPoProved()

Description copied from class: TreeObject

Returns the number of proved proof obligations for this node.

Specified by:

getNbPoProved in class TreeObject

Returns:

the number of proved proof obligations for this node

getLemmasWithPo

public java.lang.Object[] getLemmasWithPo()

getHyp

public java.util.Vector getHyp()

getFlow

public java.util.Vector getFlow()