SAT Solver Template
Loading...
Searching...
No Matches
Classes | Namespaces
SubscribableEvent.hpp File Reference

Contains subscribable event class for easy managing of solver events. More...

#include <functional>
#include <vector>
#include <ranges>
#include <memory>
#include <algorithm>
Include dependency graph for SubscribableEvent.hpp:

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
 

Detailed Description

Contains subscribable event class for easy managing of solver events.

Author
Tim Luchterhand
Date
16.11.22