Gluco2::Solver::NodeData Struct Reference

#include <Solver.h>

Collaboration diagram for Gluco2::Solver::NodeData:

Public Attributes
Lit	lit0
Lit	lit1
unsigned	sort:30
unsigned	dir:1
unsigned	now:1

Detailed Description

Definition at line 377 of file Solver.h.

Member Data Documentation

dir

unsigned Gluco2::Solver::NodeData::dir

Definition at line 377 of file Solver.h.

lit0

Lit Gluco2::Solver::NodeData::lit0

Definition at line 377 of file Solver.h.

lit1

Lit Gluco2::Solver::NodeData::lit1

Definition at line 377 of file Solver.h.

now

unsigned Gluco2::Solver::NodeData::now

Definition at line 377 of file Solver.h.

sort

unsigned Gluco2::Solver::NodeData::sort

Definition at line 377 of file Solver.h.

---

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

• src/sat/glucose2/Solver.h