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

Public Attributes

size_t id
 
struct quotient * prev
 
struct quotient * next
 
unsigned factor
 
statches clauses
 
sizes matches
 
size_t matched
 

Detailed Description

Definition at line 28 of file factor.c.

Member Data Documentation

◆ clauses

statches quotient::clauses

Definition at line 32 of file factor.c.

◆ factor

unsigned quotient::factor

Definition at line 31 of file factor.c.

◆ id

size_t quotient::id

Definition at line 29 of file factor.c.

◆ matched

size_t quotient::matched

Definition at line 34 of file factor.c.

◆ matches

sizes quotient::matches

Definition at line 33 of file factor.c.

◆ next

struct quotient * quotient::next

Definition at line 30 of file factor.c.

◆ prev

struct quotient* quotient::prev

Definition at line 30 of file factor.c.

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