org.qedeq.kernel.se.visitor
Class QedeqNumbers

java.lang.Object
  org.qedeq.kernel.se.visitor.QedeqNumbers

public class QedeqNumbers
extends java.lang.Object

Contains various counter values for a Qedeq.

Author:

Michael Meyling

Constructor Summary

QedeqNumbers(int imports, int chapters)
Constructor.

QedeqNumbers(QedeqNumbers original)
Copy constructor.

Method Summary

boolean	equals(java.lang.Object compare)
int	getAbsoluteChapterNumber() Absolute chapter number the node is within.
int	getAbsoluteSectionNumber() Absolute section number the node is within.
int	getAxiomNumber() Get number of axioms before node (including this one).
int	getChapterNumber() Chapter number the node is within.
int	getFunctionDefinitionNumber() Get number of function definitions before node (including this one).
int	getImportNumber() Last import number.
int	getNodeNumber() Node number within section.
int	getPredicateDefinitionNumber() Get number of predicate definitions before node (including this one).
int	getPropositionNumber() Get number of Propositions before node (including this one).
int	getRuleNumber() Get number of rule definitions before node (including this one).
int	getSectionNumber() Section number the node is within.
int	getSubsectionNumber() Sub section number within section.
double	getVisitPercentage() Get calculated visit percentage.
int	hashCode()
void	increaseAxiomNumber() Increase number of axioms before node (including this one).
void	increaseChapterNumber(int sections, boolean chapterNumbering) Increase chapter number.
void	increaseFunctionDefinitionNumber() Increase number of function definitions before node (including this one).
void	increaseImportNumber() Increase import number.
void	increaseNodeNumber() Increase node number.
void	increasePredicateDefinitionNumber() Increase number of predicate definitions before node (including this one).
void	increasePropositionNumber() Increase number of predicate definitions before node (including this one).
void	increaseRuleNumber() Increase number of rule definitions before node (including this one).
void	increaseSectionNumber(int subsectionsAndNodes, boolean sectionNumbering) Increase chapter number.
void	increaseSubsectionNumber() Increase subsection number.
boolean	isChapterNumbering() Is chapter numbering currently on?
boolean	isFinished() Is there nothing more to be numbered?
boolean	isSectionNumbering() Is section numbering currently on?
void	setFinished(boolean finished) Set if numbering has ended.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

QedeqNumbers

public QedeqNumbers(int imports,
                    int chapters)

Constructor.

Parameters:

imports - Number of imported QEDEQ modules.

chapters - Number of chapters in QEDEQ module.

QedeqNumbers

public QedeqNumbers(QedeqNumbers original)

Copy constructor.

Parameters:

original - Original to copy values from.

Method Detail

getImportNumber

public int getImportNumber()

Last import number.

Returns:

Import number.

increaseImportNumber

public void increaseImportNumber()

Increase import number.

getChapterNumber

public int getChapterNumber()

Chapter number the node is within.

Returns:

Chapter number.

increaseChapterNumber

public void increaseChapterNumber(int sections,
                                  boolean chapterNumbering)

Increase chapter number.

Parameters:

sections - Number of subsections in new chapter.

chapterNumbering - Chapter numbering on?

isChapterNumbering

public boolean isChapterNumbering()

Is chapter numbering currently on?

Returns:

Chapter numbering is on.

getAbsoluteChapterNumber

public int getAbsoluteChapterNumber()

Absolute chapter number the node is within. This includes chapters with no numbers.

Returns:

Chapter number.

getSectionNumber

public int getSectionNumber()

Section number the node is within.

Returns:

Section number.

increaseSectionNumber

public void increaseSectionNumber(int subsectionsAndNodes,
                                  boolean sectionNumbering)

Increase chapter number.

Parameters:

subsectionsAndNodes - Number of subsections and nodes for current section.

sectionNumbering - Should this section be numbered?

getAbsoluteSectionNumber

public int getAbsoluteSectionNumber()

Absolute section number the node is within. This includes sections with no numbers.

Returns:

Section number.

isSectionNumbering

public boolean isSectionNumbering()

Is section numbering currently on?

Returns:

Section numbering is on.

getSubsectionNumber

public int getSubsectionNumber()

Sub section number within section.

Returns:

Sub section number.

increaseSubsectionNumber

public void increaseSubsectionNumber()

Increase subsection number.

getNodeNumber

public int getNodeNumber()

Node number within section.

Returns:

Node number.

increaseNodeNumber

public void increaseNodeNumber()

Increase node number.

getAxiomNumber

public int getAxiomNumber()

Get number of axioms before node (including this one).

Returns:

Number of axioms before node (including this one).

increaseAxiomNumber

public void increaseAxiomNumber()

Increase number of axioms before node (including this one).

getFunctionDefinitionNumber

public int getFunctionDefinitionNumber()

Get number of function definitions before node (including this one).

Returns:

Number function definitions before node (including this one).

increaseFunctionDefinitionNumber

public void increaseFunctionDefinitionNumber()

Increase number of function definitions before node (including this one).

getPredicateDefinitionNumber

public int getPredicateDefinitionNumber()

Get number of predicate definitions before node (including this one).

Returns:

Number of predicate definitions before node (including this one).

increasePredicateDefinitionNumber

public void increasePredicateDefinitionNumber()

Increase number of predicate definitions before node (including this one).

getPropositionNumber

public int getPropositionNumber()

Get number of Propositions before node (including this one).

Returns:

Get number of Propositions before node (including this one).

increasePropositionNumber

public void increasePropositionNumber()

Increase number of predicate definitions before node (including this one).

getRuleNumber

public int getRuleNumber()

Get number of rule definitions before node (including this one).

Returns:

Number of rule definitions before node (including this one).

increaseRuleNumber

public void increaseRuleNumber()

Increase number of rule definitions before node (including this one).

isFinished

public boolean isFinished()

Is there nothing more to be numbered?

Returns:

There will be no more number changes.

setFinished

public void setFinished(boolean finished)

Set if numbering has ended.

Parameters:

finished - Will there be no more number changes?

getVisitPercentage

public double getVisitPercentage()

Get calculated visit percentage. This is a monotonically nondecreasing visit function.

Returns:

Value between 0 and 100.

equals

public boolean equals(java.lang.Object compare)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object