CaDiCaL::NameVal Struct Reference

Public Attributes
const char *	name
int	val

Detailed Description

Definition at line 11 of file cadical_config.cpp.

Member Data Documentation

name

const char* CaDiCaL::NameVal::name

Definition at line 12 of file cadical_config.cpp.

val

int CaDiCaL::NameVal::val

Definition at line 13 of file cadical_config.cpp.

---

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

• src/sat/cadical/cadical_config.cpp