Syft::Exists Class Referencefinal
Performs existential quantification. More...
#include <Quantification.h>
Inheritance diagram for Syft::Exists:
Collaboration diagram for Syft::Exists:
Public Member Functions | |
| Exists (CUDD::BDD existential_variables) | |
| CUDD::BDD | apply (const CUDD::BDD &bdd) const override |
Detailed Description
Performs 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
