projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix apparent bug...
[satcheck.git]
/
mcschedule.h
diff --git
a/mcschedule.h
b/mcschedule.h
index d7fb852d361bad763e287d9e684b85e185c97187..185a50fe7671fd7c910e1559b0dba7da95f022c5 100644
(file)
--- a/
mcschedule.h
+++ b/
mcschedule.h
@@
-15,20
+15,20
@@
#include "stl-model.h"
class WaitPair {
#include "stl-model.h"
class WaitPair {
-
public:
+public:
WaitPair(ExecPoint * stoppoint, ExecPoint * waitpoint);
~WaitPair();
ExecPoint * getStop();
ExecPoint * getWait();
MEMALLOC;
WaitPair(ExecPoint * stoppoint, ExecPoint * waitpoint);
~WaitPair();
ExecPoint * getStop();
ExecPoint * getWait();
MEMALLOC;
-
private:
+private:
ExecPoint *stop_point;
ExecPoint *wait_point;
};
class MCScheduler {
ExecPoint *stop_point;
ExecPoint *wait_point;
};
class MCScheduler {
-
public:
+public:
MCScheduler(MCExecution * e);
~MCScheduler();
ucontext_t * get_system_context() { return &system_context; }
MCScheduler(MCExecution * e);
~MCScheduler();
ucontext_t * get_system_context() { return &system_context; }
@@
-44,7
+44,7
@@
class MCScheduler {
void setNewFlag();
MEMALLOC;
void setNewFlag();
MEMALLOC;
-
private:
+private:
unsigned int waitsetlen;
ucontext_t system_context;
MCExecution *execution;
unsigned int waitsetlen;
ucontext_t system_context;
MCExecution *execution;