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