From 361f42bfb36f0ed4615fae53b0f918504aee3194 Mon Sep 17 00:00:00 2001 From: someone Date: Tue, 5 Jun 2012 20:01:12 +0200 Subject: [PATCH] 1 std bughunt -.- --- s.dl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/s.dl b/s.dl index 0c5a8eb..4ffe585 100644 --- a/s.dl +++ b/s.dl @@ -1,11 +1,11 @@ % switching definition. % system inactive -p(C,o1,OP) :- not ab(C), switching(C), c(C,i4,0), p(C,i6,I6), OP = 0, #int(OP). +p(C,o1,OP) :- not ab(C), switching(C), c(C,i4,0), OP = 0, #int(OP). p(C,o2,OP) :- not ab(C), switching(C), c(C,i4,0), p(C,i6,I6), OP = I6, #int(OP). % system accumilation mode -p(C,o1,OP) :- not ab(C), switching(C), c(C,i4,1), p(C,i1,I1), p(C,i2,I2), p(C,i3,I3), p(C,i6,I6), OP = 0, #int(OP). +p(C,o1,OP) :- not ab(C), switching(C), c(C,i4,1), OP = 0, #int(OP). p(C,o2,OP) :- not ab(C), switching(C), c(C,i4,1), p(C,i1,I1), p(C,i2,I2), p(C,i3,I3), p(C,i6,I6), T1 = I1 + I2, T2 = I3 + I6, OP = T1 + T2, #int(OP). % system charge mode -- 2.43.0