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