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

#include <literal.h>

Collaboration diagram for Literal_t_:

Public Attributes

unsigned * transition
 
unsigned * function
 
Vec_Str_texpression
 

Detailed Description

Definition at line 52 of file literal.h.

Member Data Documentation

◆ expression

Vec_Str_t* Literal_t_::expression

Definition at line 55 of file literal.h.

◆ function

unsigned* Literal_t_::function

Definition at line 54 of file literal.h.

◆ transition

unsigned* Literal_t_::transition

Definition at line 53 of file literal.h.


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