Algorithm 2. The algorithm of conditional compatibility detection.

Input: Comparable constraint item conij, i ∈ {s, o, e}, j ∈ {j|1 ≤ j ≤ n}

Output: Conditional intersection (false) or exclusion (true)

result = false; // The result is initialized to conditional intersection      for each i ∈ {s, o, e}, do         for j = 1:n do          for k = j + 1:n do              if conij.type = conik.type then               if conij∩conik ≠ Ø then               result=true;    //  Conditional exclusion               end if              end if          end for         end for        end for     end for     return result