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

Public Attributes

unsigned learnt: 1
 
unsigned mark: 1
 
unsigned partA: 1
 
unsigned nEnts: 29
 
int Id
 
int pEnts [0]
 

Detailed Description

Definition at line 42 of file satProof.c.

Member Data Documentation

◆ Id

int satset_t::Id

Definition at line 48 of file satProof.c.

◆ learnt

unsigned satset_t::learnt

Definition at line 44 of file satProof.c.

◆ mark

unsigned satset_t::mark

Definition at line 45 of file satProof.c.

◆ nEnts

unsigned satset_t::nEnts

Definition at line 47 of file satProof.c.

◆ partA

unsigned satset_t::partA

Definition at line 46 of file satProof.c.

◆ pEnts

int satset_t::pEnts[0]

Definition at line 49 of file satProof.c.

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