3.7.226. Shared table

A constraint for which the same table is shared by several πšŽπš•πšŽπš–πšŽπš—πš constraints. Within the context of the 𝚌𝚊𝚜𝚎 constraint, the same directed acyclic graph can be shared by several tuples of variables. This happen for instance when the 𝚌𝚊𝚜𝚎 constraint is used for encoding all the transitions of an automatonΒ [BeldiceanuCarlssonPetit04].

Within the context of planning, the idea of reusing the same constraint for encoding the transitions of an automatonEven though the original work was not presented in the context of automata, it can be partly reinterpreted as the encoding of an automaton. was proposed under the name slice encoding by C.Β Pralet and G. Verfaillie inΒ [PraletVerfaillie09]. The motivation behind was to avoid to completely unfold the behaviour of the automaton (i.e., the successive triggered transitions) over the full planning horizon. From an implementation point of view, this encoding requires the possibility to reset the domains of the variables to some initial state.