Msat_Order_t_ Struct Reference

Collaboration diagram for Msat_Order_t_:

[legend]

Data Fields
Msat_Solver_t *	pSat
Msat_IntVec_t *	vIndex
Msat_IntVec_t *	vHeap
Msat_OrderVar_t *	pVars
int	nVarsAlloc
Msat_OrderRing_t	rVars

---

Detailed Description

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

FileName [msatOrder.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 variable assignment.]

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

Affiliation [UC Berkeley]

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

Revision [

Id

msatOrder.c,v 1.0 2005/05/30 1:00:00 alanmi Exp

] DECLARATIONS ///

Definition at line 28 of file msatOrderH.c.

---

Field Documentation

int Msat_Order_t_::nVarsAlloc

Definition at line 56 of file msatOrderJ.c.

Msat_Solver_t * Msat_Order_t_::pSat

Definition at line 30 of file msatOrderH.c.

Msat_OrderVar_t* Msat_Order_t_::pVars

Definition at line 55 of file msatOrderJ.c.

Msat_OrderRing_t Msat_Order_t_::rVars

Definition at line 57 of file msatOrderJ.c.

Msat_IntVec_t* Msat_Order_t_::vHeap

Definition at line 32 of file msatOrderH.c.

Msat_IntVec_t* Msat_Order_t_::vIndex

Definition at line 31 of file msatOrderH.c.

---

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

• src/sat/msat/msatOrderH.c
• src/sat/msat/msatOrderJ.c