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

Public Attributes

word * pNegCof
 
word * pPosCof
 
word * pBoolDiff
 
unsigned int on [DSC_MAX_VAR+1]
 
unsigned int off [DSC_MAX_VAR+1]
 
char exp [DSC_MAX_STR]
 

Detailed Description

Definition at line 40 of file dsc.c.

Member Data Documentation

◆ exp

char Dsc_node_t_::exp[DSC_MAX_STR]

Definition at line 47 of file dsc.c.

◆ off

unsigned int Dsc_node_t_::off[DSC_MAX_VAR+1]

Definition at line 46 of file dsc.c.

◆ on

unsigned int Dsc_node_t_::on[DSC_MAX_VAR+1]

Definition at line 45 of file dsc.c.

◆ pBoolDiff

word* Dsc_node_t_::pBoolDiff

Definition at line 44 of file dsc.c.

◆ pNegCof

word* Dsc_node_t_::pNegCof

Definition at line 42 of file dsc.c.

◆ pPosCof

word* Dsc_node_t_::pPosCof

Definition at line 43 of file dsc.c.

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