CaDiCaL::Option Struct Reference

#include <options.hpp>

Public Member Functions
int &	val (Options *)

Public Attributes
const char *	name
int	def
int	lo
int	hi
int	optimizable
bool	preprocessing
const char *	description

Detailed Description

Definition at line 294 of file options.hpp.

Member Function Documentation

val()

int & CaDiCaL::Option::val ( Options * opts )

inline

Definition at line 412 of file options.hpp.

                                      {
  CADICAL_assert (Options::table <= this &&
          this < Options::table + number_of_options);
  return opts->val (this - Options::table);
}

Here is the call graph for this function:

Here is the caller graph for this function:

Member Data Documentation

def

int CaDiCaL::Option::def

Definition at line 296 of file options.hpp.

description

const char* CaDiCaL::Option::description

Definition at line 299 of file options.hpp.

hi

int CaDiCaL::Option::hi

Definition at line 296 of file options.hpp.

lo

int CaDiCaL::Option::lo

Definition at line 296 of file options.hpp.

name

const char* CaDiCaL::Option::name

Definition at line 295 of file options.hpp.

optimizable

int CaDiCaL::Option::optimizable

Definition at line 297 of file options.hpp.

preprocessing

bool CaDiCaL::Option::preprocessing

Definition at line 298 of file options.hpp.

---

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

• src/sat/cadical/options.hpp