int Element::get_concurrency() const
{
// Ignore element with weight less than one (e.g. cross-traffic)
int Element::get_concurrency() const
{
// Ignore element with weight less than one (e.g. cross-traffic)
variable_mallocator =
xbt_mallocator_new(65536, System::variable_mallocator_new_f, System::variable_mallocator_free_f, nullptr);
variable_mallocator =
xbt_mallocator_new(65536, System::variable_mallocator_new_f, System::variable_mallocator_free_f, nullptr);
* constraints that changed are considered. Otherwise all constraints with active actions are considered.
*/
if (selective_update_active)
* constraints that changed are considered. Otherwise all constraints with active actions are considered.
*/
if (selective_update_active)