-/* Copyright (c) 2004-2019. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2004-2022. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
#include <memory>
#include <simgrid/kernel/resource/Action.hpp>
+#include <unordered_map>
namespace simgrid {
namespace kernel {
gets recomputed anyway. In that case, you'd better not try to be cleaver with lazy and go for
a simple full update. */
};
-
- explicit Model(Model::UpdateAlgo algo);
+ explicit Model(const std::string& name);
Model(const Model&) = delete;
Model& operator=(const Model&) = delete;
virtual ~Model();
+ bool is_update_lazy() const { return update_algorithm_ == UpdateAlgo::LAZY; }
+ Model* set_update_algorithm(UpdateAlgo algo);
+
/** @brief Get the set of [actions](@ref Action) in *inited* state */
Action::StateSet* get_inited_action_set() { return &inited_action_set_; }
/** @brief Set the maxmin system of the current Model */
void set_maxmin_system(lmm::System* system);
- /** @brief Get the update algorithm of the current Model */
- UpdateAlgo get_update_algorithm() const { return update_algorithm_; }
-
/** @brief Get Action heap */
ActionHeap& get_action_heap() { return action_heap_; }
virtual double next_occurring_event_lazy(double now);
virtual double next_occurring_event_full(double now);
- XBT_ATTRIB_DEPRECATED_v329("Please use next_occurring_event()") double next_occuring_event(double now)
- {
- return next_occurring_event(now);
- }
- XBT_ATTRIB_DEPRECATED_v329("Please use next_occurring_event_lazy()") double next_occuring_event_lazy(double now)
- {
- return next_occurring_event_lazy(now);
- }
- XBT_ATTRIB_DEPRECATED_v329("Please use next_occurring_event_full()") double next_occuring_event_full(double now)
- {
- return next_occurring_event_full(now);
- }
-
private:
Action* extract_action(Action::StateSet* list);
*/
virtual bool next_occurring_event_is_idempotent() { return true; }
- XBT_ATTRIB_DEPRECATED_v329("Please use next_occurring_event_is_idempotent()") bool next_occuring_event_is_idempotent()
- {
- return next_occurring_event_is_idempotent();
- }
+ /** @brief Gets the model name */
+ std::string get_name() const { return name_; }
private:
+ UpdateAlgo update_algorithm_ = UpdateAlgo::FULL;
std::unique_ptr<lmm::System> maxmin_system_;
- const UpdateAlgo update_algorithm_;
Action::StateSet inited_action_set_; /**< Created not started */
Action::StateSet started_action_set_; /**< Started not done */
Action::StateSet failed_action_set_; /**< Done with failure */
Action::StateSet finished_action_set_; /**< Done successful */
Action::StateSet ignored_action_set_; /**< not considered (failure detectors?) */
+ const std::string name_; /**< Model name */
ActionHeap action_heap_;
};
} // namespace kernel
} // namespace simgrid
-/** @ingroup SURF_models
- * @brief List of initialized models
- */
-XBT_PUBLIC_DATA std::vector<simgrid::kernel::resource::Model*> all_existing_models;
-
#endif