ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
clause_t Struct Reference

#include <satClause.h>

Public Attributes

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.

Member Data Documentation

◆ lbd

unsigned clause_t::lbd

Definition at line 54 of file satClause.h.

◆ lits

lit clause_t::lits[0]

Definition at line 56 of file satClause.h.

◆ lrn

unsigned clause_t::lrn

Definition at line 51 of file satClause.h.

◆ mark

unsigned clause_t::mark

Definition at line 52 of file satClause.h.

◆ partA

unsigned clause_t::partA

Definition at line 53 of file satClause.h.

◆ size

unsigned clause_t::size

Definition at line 55 of file satClause.h.

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