Syft::Quantification Class Reference

Abstract class representing a quantification operation on BDDs. More...

#include <Quantification.h>

Inheritance diagram for Syft::Quantification:

Public Member Functions
virtual CUDD::BDD	apply (const CUDD::BDD &bdd) const =0

Detailed Description

Abstract class representing a quantification operation on BDDs.

---

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

• src/synthesis/header/game/Quantification.h