Space of K
equivalence grid graph models. In these K
= grid graphs t dimension edges marked = are equal and R dimension edges marked | are equal, i.e. Model A is fully constrained. Models F, H, J, L and N have zero K
equivalence constraints and are thus equal to Models A-E in Figure 3.