Mercurial > hg > Gears > Gears

changeset 905:840458851072

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add TaskIterator.h
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Wed, 27 Jan 2021 19:03:34 +0900
parents 4ca02394a09c
children 7dd8df7ceb69
files src/parallel_execution/ModelChecking/TaskIterator.h
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/parallel_execution/ModelChecking/TaskIterator.h	Wed Jan 27 19:03:34 2021 +0900
@@ -0,0 +1,5 @@
+typedef struct TaskIterator {
+    struct TaskIterator* prev;
+    StateDB state;
+    struct Element* list;
+} TaskIterator;