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

Public Attributes

int n
 
int e
 
int * adj
 
int * edg
 

Detailed Description

Definition at line 67 of file abcSaucy.c.

Member Data Documentation

◆ adj

int* saucy_graph::adj

Definition at line 70 of file abcSaucy.c.

◆ e

int saucy_graph::e

Definition at line 69 of file abcSaucy.c.

◆ edg

int* saucy_graph::edg

Definition at line 71 of file abcSaucy.c.

◆ n

int saucy_graph::n

Definition at line 68 of file abcSaucy.c.

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