Syft::ExistsForall Class Referencefinal
Performs both universal and existential quantification. More...
#include <Quantification.h>
Inheritance diagram for Syft::ExistsForall:
Collaboration diagram for Syft::ExistsForall:
Public Member Functions | |
| ExistsForall (CUDD::BDD existential_variables, CUDD::BDD universal_variables) | |
| CUDD::BDD | apply (const CUDD::BDD &bdd) const override |
Detailed Description
Performs both universal and existential quantification.
The documentation for this class was generated from the following files:
- src/synthesis/header/game/Quantification.h
- src/synthesis/source/game/Quantification.cpp
