jpov.structure
Class WellDefinedMethodProofs

java.lang.Object
  jpov.structure.TreeObject
      jpov.structure.Proofs
          jpov.structure.WellDefinedMethodProofs

public class WellDefinedMethodProofs

extends Proofs

Author:

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

Method Summary

java.lang.String

getText(int type) Returns the displayed text for this node.

Methods inherited from class jpov.structure.Proofs

addGoals, getLemmas, getLemmasWithPo, getNbCheckedPo, getNbPo, getNbPoProved, getNbPoProved, setChecked, setUnchecked

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.

Overrides:

getText in class Proofs

Returns:

"Static Initialisation"