ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
coloring Struct Reference

Public Attributes

int * lab
 
int * unlab
 
int * cfront
 
int * clen
 

Detailed Description

Definition at line 74 of file abcSaucy.c.

Member Data Documentation

◆ cfront

int* coloring::cfront

Definition at line 77 of file abcSaucy.c.

◆ clen

int* coloring::clen

Definition at line 78 of file abcSaucy.c.

◆ lab

int* coloring::lab

Definition at line 75 of file abcSaucy.c.

◆ unlab

int* coloring::unlab

Definition at line 76 of file abcSaucy.c.


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