/**
* Check whether the judgment is equivalent to another one
* <p>
* The two may have different keys
*
* \param that The other judgment
* \return Whether the two are equivalent
*/
public bool checkEquivalentTo(ClassicalSentence that)
{
/*
* if (Parameters.DEBUG) {
* if ((!term.equals(term)) || (punctuation != that.punctuation)) {
* throw new RuntimeException("invalid comparison for Sentence.equivalentTo");
* }
* }*/
bool isStampEqual = Stamp.checkEquals(
stamp,
that.stamp,
Stamp.EnumCompareCreationTime.NO,
Stamp.EnumCompareOccurrenceTime.YES,
Stamp.EnumCompareEvidentialBaseTime.YES);
return(truth.checkEquals(that.truth) && isStampEqual);
}
