opt Struct Reference

#include <options.h>

Public Attributes
const char *	name
const int	value
const char *	description

Detailed Description

Definition at line 228 of file options.h.

Member Data Documentation

description

const char* opt::description

Definition at line 237 of file options.h.

name

const char* opt::name

Definition at line 229 of file options.h.

value

const int opt::value

Definition at line 235 of file options.h.

---

The documentation for this struct was generated from the following file:

• src/sat/kissat/options.h