org.openqed.struct.sentence
Class Sentence

java.lang.Object
  org.openqed.util.MemberwiseEqualsHashCodeObject
      org.openqed.struct.sentence.Sentence

All Implemented Interfaces:

MemberwiseEqualsHashCode

public class Sentence
extends MemberwiseEqualsHashCodeObject

Nested Class Summary

Nested classes/interfaces inherited from interface org.openqed.util.MemberwiseEqualsHashCode

MemberwiseEqualsHashCode.MemberVisitor

Constructor Summary

Sentence(SentenceId sentenceId, SentenceRole sentenceRole, RootFormula rootFormula, SentenceSource sentenceSource)

Sentence(SentenceId sentenceId, java.lang.String sentenceRoleName, RootFormula rootFormula, SentenceSource sentenceSource)

Method Summary

SentenceRole	getRole()
java.lang.String	getRoleName()
CnfFormula	getRootCnfFormula()
FofFormula	getRootFofFormula()
RootFormula	getRootFormula()
FormulaNode	getRootFormulaNode()
SentenceId	getSentenceId()
java.lang.String	getSentenceName()
SentenceSource	getSource()
boolean	isAxiom()
boolean	isAxiomLike()
boolean	isCnfSentence()
boolean	isConjecture()
boolean	isDefinition()
boolean	isFofSentence()
boolean	isHypothesis()
boolean	isLemma()
boolean	isNegatedConjecture()
boolean	isTheorem()
void	memberwiseEqualsHashCode(MemberwiseEqualsHashCode.MemberVisitor visitor)
java.lang.String	toString()

Methods inherited from class org.openqed.util.MemberwiseEqualsHashCodeObject

equals, hashCode

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Sentence

public Sentence(SentenceId sentenceId,
                SentenceRole sentenceRole,
                RootFormula rootFormula,
                SentenceSource sentenceSource)

Sentence

public Sentence(SentenceId sentenceId,
                java.lang.String sentenceRoleName,
                RootFormula rootFormula,
                SentenceSource sentenceSource)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

memberwiseEqualsHashCode

public void memberwiseEqualsHashCode(MemberwiseEqualsHashCode.MemberVisitor visitor)

Specified by:

memberwiseEqualsHashCode in interface MemberwiseEqualsHashCode

Overrides:

memberwiseEqualsHashCode in class MemberwiseEqualsHashCodeObject

getSentenceId

public SentenceId getSentenceId()

getRole

public SentenceRole getRole()

getRootFormula

public RootFormula getRootFormula()

getSource

public SentenceSource getSource()

getSentenceName

public java.lang.String getSentenceName()

getRoleName

public java.lang.String getRoleName()

isAxiom

public boolean isAxiom()

isConjecture

public boolean isConjecture()

isDefinition

public boolean isDefinition()

isHypothesis

public boolean isHypothesis()

isLemma

public boolean isLemma()

isNegatedConjecture

public boolean isNegatedConjecture()

isTheorem

public boolean isTheorem()

isAxiomLike

public boolean isAxiomLike()

isFofSentence

public boolean isFofSentence()

isCnfSentence

public boolean isCnfSentence()

getRootFormulaNode

public FormulaNode getRootFormulaNode()

getRootFofFormula

public FofFormula getRootFofFormula()

getRootCnfFormula

public CnfFormula getRootCnfFormula()