|
SAT Solver Template
|
Argument specification for value arguments. More...
#include <cli.hpp>
Public Types | |
| using | type = T |
Public Member Functions | |
| ValueArg (std::string name, T &value, bool required=false) | |
Public Attributes | |
| std::string | name |
| T & | value |
| bool | required |
Argument specification for value arguments.
| T | argument type |