clause_t Struct Reference

#include <satClause.h>

Data Fields
unsigned	lrn: 1
unsigned	mark: 1
unsigned	partA: 1
unsigned	lbd: 8
unsigned	size: 21
lit	lits [0]

Detailed Description

Definition at line 49 of file satClause.h.

Field Documentation

unsigned clause_t::lbd

Definition at line 54 of file satClause.h.

lit clause_t::lits[0]

Definition at line 56 of file satClause.h.

unsigned clause_t::lrn

Definition at line 51 of file satClause.h.

unsigned clause_t::mark

Definition at line 52 of file satClause.h.

unsigned clause_t::partA

Definition at line 53 of file satClause.h.

unsigned clause_t::size

Definition at line 55 of file satClause.h.

---

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

• satClause.h