Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- findMinOfHypothesesForDenial::Map.Map Int Bool->Map.Map Int Expression->[[Expression]]
- findMinOfHypothesesForDenial table vars =
- if(Map.size vars ==1) then
- if(table Map.! 1 == True && table Map.! 2==True )
- then [[]]
- else if (table Map.! 2 == True)
- then [[(NotOp(vars Map.! 1))]]
- else []
- else if(Map.size vars == 2)
- then if(table Map.! 1 ==True && table Map.! 2 == True && table Map.! 3 == True && table Map.! 4 == True )
- then [[]]
- else if ((table Map.! 3 == True && table Map.! 4 == True) || (table Map.! 2 == True && table Map.! 4 == True))
- then if((table Map.! 3 == True && table Map.! 4 == True))
- then [[(NotOp $ vars Map.! 1)]]
- else [[(NotOp $ vars Map.! 2)]]
- else if (table Map.! 4 == True )
- then [[NotOp(vars Map.! 1),NotOp(vars Map.! 2)]]
- else []
- else if (table Map.! 1 == True && table Map.!2 ==True && table Map.! 3 == True && table Map.! 4 == True && table Map.! 5
- &&table Map.! 6 && table Map.! 7 && table Map.! 8 == True)
- then [[]]
- else if((table Map.! 1 == True && table Map.! 2 == True && table Map.! 3 == True table Map.! 4 ==True) || (table Map.! 1 ==True && table Map.! 2 ==True
- && table Map.! 5 == True && table Map.! 6 == True)||(table Map.! 1 == True && table Map.! 4 == True && table Map.! 5 == True && table Map.! 7 == True) )
- then if((table Map.! 1 == True && table Map.! 2 == True && table Map.! 3 == True table Map.! 4 ==True))
- then [vars Map.!1]
- else if ((table Map.! 1 ==True && table Map.! 2 ==True
- && table Map.! 5 == True && table Map.! 6 == True))
- then [vars Map.!2]
- else [vars Map.!3]
- else if(((table Map.! 1 ==True && table Map.! 2 ==True)|| (table Map.! 1 == True && table Map.! 5 == True)||(table Map.1 == True && table Map.! 4 == True))
- then if ((table Map.! 1 ==True && table Map.! 2 ==True
- && table Map.! 5 == True && table Map.! 6 == True))
- then [[vars Map.!1,vars Map.!2]]
- else if((table Map.! 1 == True && table Map.! 5 == True))
- then [[vars Map.!2,vars Map.!3]]
- else [[vars Map.!1,vars Map.!3]]
- else if (table Map.!1 == True)
- then [[vars Map.!1,vars Map.!2,vars Map.!3]]
- else []
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement