Msat_Clause_t_ Struct Reference

DECLARATIONS ///. More...

Data Fields
int	Num
unsigned	fLearned: 1
unsigned	fMark: 1
unsigned	fTypeA: 1
unsigned	nSize: 14
unsigned	nSizeAlloc: 15
Msat_Lit_t	pData [0]

Detailed Description

DECLARATIONS ///.

CFile****************************************************************

FileName [msatClause.c]

PackageName [A C version of SAT solver MINISAT, originally developed in C++ by Niklas Een and Niklas Sorensson, Chalmers University of Technology, Sweden: http://www.cs.chalmers.se/~een/Satzoo.]

Synopsis [Procedures working with SAT clauses.]

Author [Alan Mishchenko alanm.nosp@m.i@ee.nosp@m.cs.be.nosp@m.rkel.nosp@m.ey.ed.nosp@m.u]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - January 1, 2004.]

Revision [

Id:

msatClause.c,v 1.0 2004/01/01 1:00:00 alanmi Exp

]

Definition at line 30 of file msatClause.c.

Field Documentation

unsigned Msat_Clause_t_::fLearned

Definition at line 33 of file msatClause.c.

unsigned Msat_Clause_t_::fMark

Definition at line 34 of file msatClause.c.

unsigned Msat_Clause_t_::fTypeA

Definition at line 35 of file msatClause.c.

unsigned Msat_Clause_t_::nSize

Definition at line 36 of file msatClause.c.

unsigned Msat_Clause_t_::nSizeAlloc

Definition at line 37 of file msatClause.c.

int Msat_Clause_t_::Num

Definition at line 32 of file msatClause.c.

Msat_Lit_t Msat_Clause_t_::pData[0]

Definition at line 38 of file msatClause.c.

---

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

• msatClause.c