Tilings on the butterfly lattice

Let F be a simply connected figure constituted of cells of the butterfly lattice. We show that there exists a linear algorithm which says whether F is tilable by the three tiles described in the paper. Moreover, we point out some specific geometrical properties, especially on the notion of flip.