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

Public Attributes

unsigned lhs
 
unsigned hash
 
unsigned tag: 2
 
bool garbage: 1
 
bool indexed: 1
 
bool marked: 1
 
bool shrunken: 1
 
unsigned arity: LD_MAX_ARITY
 
unsigned rhs []
 

Detailed Description

Definition at line 35 of file congruence.c.

Member Data Documentation

◆ arity

unsigned gate::arity

Definition at line 46 of file congruence.c.

◆ garbage

bool gate::garbage

Definition at line 42 of file congruence.c.

◆ hash

unsigned gate::hash

Definition at line 40 of file congruence.c.

◆ indexed

bool gate::indexed

Definition at line 43 of file congruence.c.

◆ lhs

unsigned gate::lhs

Definition at line 39 of file congruence.c.

◆ marked

bool gate::marked

Definition at line 44 of file congruence.c.

◆ rhs

unsigned gate::rhs[]

Definition at line 47 of file congruence.c.

◆ shrunken

bool gate::shrunken

Definition at line 45 of file congruence.c.

◆ tag

unsigned gate::tag

Definition at line 41 of file congruence.c.

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