suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

A patch recording the fix for modulo in replication that got the test passing, that properly detects whether a replicated variable is featured anywhere in the problem

Browse Source
This commit is contained in:
Neil Brown 2008-02-07 15:37:56 +00:00
parent f82b6cf6a7
commit 03ef5d23ba
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
checks/ArrayUsageCheck.hs
View File

@ -350,12 +350,14 @@ makeEquations otherInfo accesses bound
(A.Variable, Int, EqualityConstraintEquation, EqualityConstraintEquation) ->
StateT (VarMap) (Either String) (EqualityConstraintEquation, EqualityProblem, InequalityProblem)
addPossibleRepBound (item,eq,ineq) (var,index,lower,upper)
= do index <- varIndex (Scale 1 vi)
let boundEqs = if arrayLookupWithDefault 0 item index /= 0
then [add (index,1) $ amap negate lower,add (index,-1) upper]
= do vindex <- varIndex (Scale 1 vi)
let boundEqs = if elemPresent vindex item || any (elemPresent vindex) eq || any (elemPresent vindex) ineq
then [add (vindex,1) $ amap negate lower,add (vindex,-1) upper]
else []
return (item,eq,ineq ++ boundEqs)
where
elemPresent index item = arrayLookupWithDefault 0 item index /= 0
vi = (var,index)
add :: (Int,Integer) -> Array Int Integer -> Array Int Integer