ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
closure Struct Reference
Collaboration diagram for closure:
Collaboration graph
[legend]

Public Attributes

kissat * solver
 
bool * scheduled
 
gates * occurrences
 
gates garbage
 
unsigneds lits
 
unsigneds rhs
 
unsigneds unsimplified
 
litpairs binaries
 
unsigned_fifo schedule
 
unsigned * repr
 
gate_hash_table hash
 
uint64_t nonces [SIZE_NONCES]
 
unsigned * units
 
unsigned * equivalences
 
unsigned * negbincount
 
unsigned * largecount
 
litpairs condbin [2]
 
litpairs condeq [2]
 

Detailed Description

Definition at line 109 of file congruence.c.

Member Data Documentation

◆ binaries

litpairs closure::binaries

Definition at line 117 of file congruence.c.

◆ condbin

litpairs closure::condbin[2]

Definition at line 126 of file congruence.c.

◆ condeq

litpairs closure::condeq[2]

Definition at line 127 of file congruence.c.

◆ equivalences

unsigned* closure::equivalences

Definition at line 123 of file congruence.c.

◆ garbage

gates closure::garbage

Definition at line 113 of file congruence.c.

◆ hash

gate_hash_table closure::hash

Definition at line 120 of file congruence.c.

◆ largecount

unsigned* closure::largecount

Definition at line 125 of file congruence.c.

◆ lits

unsigneds closure::lits

Definition at line 114 of file congruence.c.

◆ negbincount

unsigned* closure::negbincount

Definition at line 124 of file congruence.c.

◆ nonces

uint64_t closure::nonces[SIZE_NONCES]

Definition at line 121 of file congruence.c.

◆ occurrences

gates* closure::occurrences

Definition at line 112 of file congruence.c.

◆ repr

unsigned* closure::repr

Definition at line 119 of file congruence.c.

◆ rhs

unsigneds closure::rhs

Definition at line 115 of file congruence.c.

◆ schedule

unsigned_fifo closure::schedule

Definition at line 118 of file congruence.c.

◆ scheduled

bool* closure::scheduled

Definition at line 111 of file congruence.c.

◆ solver

kissat* closure::solver

Definition at line 110 of file congruence.c.

◆ units

unsigned* closure::units

Definition at line 122 of file congruence.c.

◆ unsimplified

unsigneds closure::unsimplified

Definition at line 116 of file congruence.c.

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