Msat_Queue_t_ Struct Reference

Data Fields
int	nVars
int *	pVars
int	iFirst
int	iLast

---

Detailed Description

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

FileName [msatQueue.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 [The manager of the assignment propagation queue.]

Author [Alan Mishchenko <alanmi@eecs.berkeley.edu>]

Affiliation [UC Berkeley]

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

Revision [

Id

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

] DECLARATIONS ///

Definition at line 27 of file msatQueue.c.

---

Field Documentation

int Msat_Queue_t_::iFirst

Definition at line 31 of file msatQueue.c.

int Msat_Queue_t_::iLast

Definition at line 32 of file msatQueue.c.

int Msat_Queue_t_::nVars

Definition at line 29 of file msatQueue.c.

int* Msat_Queue_t_::pVars

Definition at line 30 of file msatQueue.c.

---

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

• src/sat/msat/msatQueue.c