Syft::ForallExists Class Referencefinal
Performs both universal and existential quantification. More...
#include <Quantification.h>
Inheritance diagram for Syft::ForallExists:
Collaboration diagram for Syft::ForallExists:
Public Member Functions | |
| ForallExists (CUDD::BDD universal_variables, CUDD::BDD existential_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
