|
SAT Solver Template
|
Argument specification for switch arguments. More...
#include <cli.hpp>
Public Member Functions | |
| Switch (std::string name, bool &value) | |
Public Attributes | |
| std::string | name |
| bool & | value |
Argument specification for switch arguments.