clause_t Struct Reference

Data Fields
int	size_learnt
lit	lits [0]

---

Detailed Description

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

FileName [satUtil.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [C-language MiniSat solver.]

Synopsis [Additional SAT solver procedures.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id

satUtil.c,v 1.4 2005/09/16 22:55:03 casem Exp

] DECLARATIONS ///

Definition at line 78 of file satSolver.c.

---

Field Documentation

lit clause_t::lits

Definition at line 81 of file satSolver.c.

int clause_t::size_learnt

Definition at line 80 of file satSolver.c.

---

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

• src/sat/bsat/satSolver.c
• src/sat/bsat/satUtil.c