void set_property_automaton(xbt_automaton_state_t const& automaton_state) const;
inline DerefAndCompareByActorsCountAndUsedHeap compare_pair() const {
return DerefAndCompareByActorsCountAndUsedHeap();
void set_property_automaton(xbt_automaton_state_t const& automaton_state) const;
inline DerefAndCompareByActorsCountAndUsedHeap compare_pair() const {
return DerefAndCompareByActorsCountAndUsedHeap();