Syft::OneStepSynthesisResult Struct Reference

Public Attributes
std::optional< bool >	realizability = std::nullopt
CUDD::BDD	winning_move

---

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

• src/synthesis/header/Synthesizer.h