Advertisement
Guest User

Untitled

a guest
Apr 23rd, 2019
82
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1.  
  2. findMinOfHypothesesForDenial::Map.Map Int Bool->Map.Map Int Expression->[[Expression]]
  3. findMinOfHypothesesForDenial table vars =
  4.   if(Map.size vars ==1) then
  5.    if(table Map.! 1 == True && table Map.! 2==True )
  6.       then [[]]
  7.       else if (table Map.! 2 == True)
  8.         then [[(NotOp(vars Map.! 1))]]
  9.         else  []
  10.       else if(Map.size vars == 2)
  11.               then if(table Map.! 1 ==True && table Map.! 2 == True && table Map.! 3 == True && table Map.! 4 == True )
  12.                     then [[]]
  13.                     else if ((table Map.! 3 == True && table Map.! 4 == True) || (table Map.! 2 == True && table Map.! 4 == True))
  14.                           then if((table Map.! 3 == True && table Map.! 4 == True))
  15.                                 then [[(NotOp $ vars Map.! 1)]]
  16.                                 else [[(NotOp $ vars Map.! 2)]]
  17.                           else if (table Map.! 4 == True )
  18.                                 then [[NotOp(vars Map.! 1),NotOp(vars Map.! 2)]]
  19.                                 else []
  20.       else if (table Map.! 1 == True && table Map.!2 ==True && table Map.! 3 == True && table Map.! 4 == True && table Map.! 5
  21.         &&table Map.! 6 && table Map.! 7 && table Map.! 8 == True)
  22.             then [[]]
  23.             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
  24.               && table Map.! 5 == True && table Map.! 6 == True)||(table Map.! 1 == True && table Map.! 4 == True && table Map.! 5 == True && table Map.! 7 == True) )
  25.                  then if((table Map.! 1 == True && table Map.! 2 == True && table Map.! 3 == True  table Map.! 4 ==True))
  26.                        then [vars Map.!1]
  27.                        else if ((table Map.! 1 ==True && table Map.! 2 ==True
  28.                       && table Map.! 5 == True && table Map.! 6 == True))
  29.                             then [vars Map.!2]
  30.                             else [vars Map.!3]
  31.                  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))
  32.                        then if ((table Map.! 1 ==True && table Map.! 2 ==True
  33.                   && table Map.! 5 == True && table Map.! 6 == True))
  34.                              then [[vars Map.!1,vars Map.!2]]
  35.                              else if((table Map.! 1 == True && table Map.! 5 == True))
  36.                                    then [[vars Map.!2,vars Map.!3]]
  37.                                    else [[vars Map.!1,vars Map.!3]]
  38.                        else if (table Map.!1 == True)
  39.                             then [[vars Map.!1,vars Map.!2,vars Map.!3]]
  40.                             else []
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement