Changeset c16d2f2 in tol

Timestamp:

Nov 14, 2008, 6:01:18 PM (18 years ago)

Author:

Víctor de Buen <vdebuen@…>

Branches:

1941-docker-image-to-test, devel, master

Children:

2fa44ff

Parents:

35af0ef

Message:

Ensuring successor and predecessor operations

git-svn-id: ​https://www.tol-project.org/svn/tolp/trunk@163 be4846ae-f051-483a-831f-b64e7d08527f

File:

• tol/btol/timeset_type/tms.cpp (modified) (2 diffs)

tol/btol/timeset_type/tms.cpp

@@ -493 +493 @@
     d.PutHash(cache[pos]);
   }
+  assert(d.IsUnknown() || (d.Hash()>=h));
   return(d);
 }
@@ -511 +512 @@
     d.PutHash(cache[pos]);
   }
+  assert(d.IsUnknown() || (d.Hash()<=h));
   return(d);
 }