CaDiCaL::Level Struct Reference

#include <level.hpp>

Public Member Functions
void	reset ()
	Level (int d, int t)
	Level ()

Public Attributes
int	decision
int	trail
struct {
int   count
int   trail
}	seen

Detailed Description

Definition at line 16 of file level.hpp.

Constructor & Destructor Documentation

Level() [1/2]

CaDiCaL::Level::Level ( int d, int t )

inline

Definition at line 31 of file level.hpp.

: decision (d), trail (t) { reset (); }

Here is the call graph for this function:

Level() [2/2]

CaDiCaL::Level::Level ( )

inline

Definition at line 32 of file level.hpp.

{}

Member Function Documentation

reset()

void CaDiCaL::Level::reset ( )

inline

Definition at line 26 of file level.hpp.

                {
    seen.count = 0;
    seen.trail = INT_MAX;
  }

Here is the caller graph for this function:

Member Data Documentation

count

int CaDiCaL::Level::count

Definition at line 22 of file level.hpp.

decision

int CaDiCaL::Level::decision

Definition at line 18 of file level.hpp.

[struct]

struct { ... } CaDiCaL::Level::seen

trail

int CaDiCaL::Level::trail

Definition at line 19 of file level.hpp.

---

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

• src/sat/cadical/level.hpp