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

#include <espresso.h>

Collaboration diagram for symbolic_struct:

Public Attributes

symbolic_list_tsymbolic_list
 
int symbolic_list_length
 
symbolic_label_tsymbolic_label
 
int symbolic_label_length
 
struct symbolic_structnext
 

Detailed Description

Definition at line 305 of file espresso.h.

Member Data Documentation

◆ next

struct symbolic_struct* symbolic_struct::next

Definition at line 310 of file espresso.h.

◆ symbolic_label

symbolic_label_t* symbolic_struct::symbolic_label

Definition at line 308 of file espresso.h.

◆ symbolic_label_length

int symbolic_struct::symbolic_label_length

Definition at line 309 of file espresso.h.

◆ symbolic_list

symbolic_list_t* symbolic_struct::symbolic_list

Definition at line 306 of file espresso.h.

◆ symbolic_list_length

int symbolic_struct::symbolic_list_length

Definition at line 307 of file espresso.h.


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