Cubicle 1.1.2 documentation and source : Enumsolver_types.is

let is_attached c =
    let w0 = (Vec.get c.atoms 0).neg.watched in
    let w1 = (Vec.get c.atoms 1).neg.watched in
    let f w = 
      try
        for i = 0 to Vec.size w - 1 do
          if Vec.get w i == c  then raise Exit
        done;
        false
      with Exit -> true
    in
    f w0 && f w1