spot::mealy_like Struct Reference

A struct that represents different types of mealy like objects. More...

#include <spot/twaalgos/synthesis.hh>

Collaboration diagram for spot::mealy_like:

Public Types
enum class	realizability_code { UNREALIZABLE , UNKNOWN , REALIZABLE_REGULAR , REALIZABLE_DTGBA }

Public Attributes
realizability_code	success
bdd	glob_cond

Detailed Description

A struct that represents different types of mealy like objects.

---

The documentation for this struct was generated from the following file:

• spot/twaalgos/synthesis.hh