### 3.7.214. Shared table

• $\mathrm{𝚌𝚊𝚜𝚎}$,

A constraint for which the same table is shared by several $\mathrm{𝚎𝚕𝚎𝚖𝚎𝚗𝚝}$ constraints. Within the context of the $\mathrm{𝚌𝚊𝚜𝚎}$ constraint, the same directed acyclic graph can be shared by several tuples of variables. This happen for instance when the $\mathrm{𝚌𝚊𝚜𝚎}$ constraint is used for encoding all the transitions of an automaton

Within the context of planning, the idea of reusing the same constraint for encoding the transitions of an automatonEven if 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.