From: vivekb1985@gmail.com   
      
   Dear All,   
      
   In an iterative data flow analysis the solution obtained will be less   
   than or equal to the IDEAL solution   
      
   If I am trying to solve the problem in two different approaches -   
   using two different meet operators (^)   
      
   1. where meet operator is U (union)   
   2. where the meet operator is (intersection)   
      
   then the meet over path solutions, MOP1 and MOP2, obtained are both   
   less than or equal to IDEAL. (being conservative)   
      
   MOP1 <= IDEAL   
      
   MOP2 <= IDEAL   
      
   How can I know which among MOP1 and MOP2 gives a superior result?   
      
   Is there a formal way to decide which meet operator has to be used ?   
      
   Thank you.   
      
   Vivek.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)