Syft::MaxSetSynthesisResult Struct Reference

Public Attributes
bool	realizability
CUDD::BDD	deferring_strategy
CUDD::BDD	nondeferring_strategy

---

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

• src/synthesis/header/Synthesizer.h