|
SAT Solver Template
|
Contains subscribable event class for easy managing of solver events. More...
#include <functional>#include <vector>#include <ranges>#include <memory>#include <algorithm>
Go to the source code of this file.
Classes | |
| class | sat::SubscriberHandle |
| Identifies a function handler subscribed to a SubscribableEvent. Can be used to unsubscribe the function handler. More... | |
| class | sat::SubscribableEvent< Args > |
| C# inspired event class that manages a list of event handlers that can be invoked together. More... | |
Namespaces | |
| namespace | sat |
| namespace | sat::detail |
Contains subscribable event class for easy managing of solver events.