#include "misc/hash.hh"
#include <list>
#include <utility>
#include <ostream>
#include "tgba/tgbatba.hh"
Include dependency graph for magic.hh:
Go to the source code of this file.
Namespaces | |
namespace | spot |
Classes | |
struct | spot::magic_search |
Emptiness check on spot::tgba_tba_proxy automata using the Magic Search algorithm. More... | |
struct | spot::magic_search::magic |
Records whether a state has be seen with the magic bit on or off. More... | |
struct | spot::magic_search::magic_state |
A state for the spot::magic_search algorithm. More... |