varinfo_t Struct Reference

Data Fields
unsigned	val: 2
unsigned	pol: 1
unsigned	tag: 1
unsigned	lev: 28

Detailed Description

Definition at line 80 of file satSolver.c.

Field Documentation

unsigned varinfo_t::lev

Definition at line 85 of file satSolver.c.

unsigned varinfo_t::pol

Definition at line 83 of file satSolver.c.

unsigned varinfo_t::tag

Definition at line 84 of file satSolver.c.

unsigned varinfo_t::val

Definition at line 82 of file satSolver.c.

---

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

• satSolver.c