Module obddimal::bdd_manager::dvo_schedules
source · [−]Expand description
Strategies for when and how to run DVO during BDD generation
Structs
Run one iteration of sifting for all variables, every time it’s called.
See DDManager::sift_single_var() for max_increase parameter.
Always perform sifting of all variables until the number of nodes does not change anymore.
Call the underlying strategy if the node count exceeds the specified limit
Dummy DVO implementation that does nothing
Performs sifting until the number of nodes does not change anymore, but only if the initial number of nodes exceeds a configurable threshold.
Calls the underlying DVO mode if the specified duration has passed since the last
invocation, or the nodes table exceeds the size specified in limit.
Enums
This contains all available DVO implementations
Traits
Implements run_dvo()