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

#include <espresso.h>

Collaboration diagram for symbolic_list_struct:

Public Attributes

int variable
 
int pos
 
struct symbolic_list_structnext
 

Detailed Description

Definition at line 290 of file espresso.h.

Member Data Documentation

◆ next

struct symbolic_list_struct* symbolic_list_struct::next

Definition at line 293 of file espresso.h.

◆ pos

int symbolic_list_struct::pos

Definition at line 292 of file espresso.h.

◆ variable

int symbolic_list_struct::variable

Definition at line 291 of file espresso.h.


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