diff options
Diffstat (limited to 'sucl/strat.icl')
-rw-r--r-- | sucl/strat.icl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/sucl/strat.icl b/sucl/strat.icl index cc49256..8d1d469 100644 --- a/sucl/strat.icl +++ b/sucl/strat.icl @@ -9,6 +9,7 @@ import rule import graph import pfun import basic +from general import No,Yes import StdEnv /* @@ -110,8 +111,8 @@ makernfstrategy makernfstrategy hist strat rnfnodes node graph = substrat [] spinecont rnfanswer node - where spinecont spine = Present spine - rnfanswer = Absent + where spinecont spine = Yes spine + rnfanswer = No substrat spinenodes spinecont rnfanswer node | isMember node spinenodes |