Changeset 418bd6 in git for kernel/f5lists.cc

Timestamp:

Oct 1, 2009, 3:40:16 PM (13 years ago)

Author:

Christian Eder

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

963eebd7c227d74888d6c990014a2db02a856401

Parents:

1d9469b7feae9ba3731cc5bd89f2a2a7f1611efd

Message:

added idea for termination of F5: split critical pairs in "useful" and "useless"
ones, check later on if there are "useful" ones left, else terminate the algorithm.


git-svn-id: file:///usr/local/Singular/svn/trunk@12147 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• kernel/f5lists.cc (modified) (1 diff)

kernel/f5lists.cc

@@ -767 +767 @@
 }
 
+bool CNode::getDel() {
+  return data->getDel();
+}
+
 RuleOld* CNode::getTestedRuleOld() {
     return this->data->getTestedRuleOld();