Tilings on the butterfly lattice

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