diff --git a/src/CommonSOG.h b/src/CommonSOG.h index d97eed8ef997b1acd222e0159996e75ec17d39b8..c1480c461b27edfb91c657dacd60bbd44d5a79c0 100644 --- a/src/CommonSOG.h +++ b/src/CommonSOG.h @@ -7,6 +7,8 @@ #include "NewNet.h" #include <stack> class LDDState; + + typedef pair<LDDState *, MDD> couple; typedef pair<couple, Set> Pair; typedef stack<Pair> pile;