Syft::SynthesisResult Struct Reference

Public Attributes
bool	realizability
CUDD::BDD	winning_states
CUDD::BDD	winning_moves
std::unique_ptr< Transducer >	transducer
CUDD::BDD	safe_states

---

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

• src/synthesis/header/Synthesizer.h