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 }
	Realizability result codes. More...

Public Attributes
realizability_code	success
	Realizability result.
bdd	glob_cond
	Global condition for DTGBA strategies.

Detailed Description

A struct that represents different types of mealy like objects.

Member Enumeration Documentation

realizability_code

enum class spot::mealy_like::realizability_code

strong

Realizability result codes.

Member Data Documentation

glob_cond

bdd spot::mealy_like::glob_cond

Global condition for DTGBA strategies.

success

realizability_code spot::mealy_like::success

Realizability result.

---

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

• spot/twaalgos/synthesis.hh