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

#include <utils.hpp>

Public Member Functions

void free ()
 

Public Attributes

Vec_Int_t * nodes
 
Vec_Int_t * io
 
unsigned int nof_inputs
 
std::unordered_map< int, std::unordered_set< int > > forbidden_pairs
 

Detailed Description

Definition at line 79 of file utils.hpp.

Member Function Documentation

◆ free()

void eSLIM::Subcircuit::free ( )
inline

Definition at line 87 of file utils.hpp.

87 {
88 Vec_IntFree(nodes);
89 Vec_IntFree(io);
90 }
eSLIM::Subcircuit::io
Vec_Int_t * io
Definition utils.hpp:81
eSLIM::Subcircuit::nodes
Vec_Int_t * nodes
Definition utils.hpp:80

Member Data Documentation

◆ forbidden_pairs

std::unordered_map<int, std::unordered_set<int> > eSLIM::Subcircuit::forbidden_pairs

Definition at line 83 of file utils.hpp.

◆ io

Vec_Int_t* eSLIM::Subcircuit::io

Definition at line 81 of file utils.hpp.

◆ nodes

Vec_Int_t* eSLIM::Subcircuit::nodes

Definition at line 80 of file utils.hpp.

◆ nof_inputs

unsigned int eSLIM::Subcircuit::nof_inputs

Definition at line 82 of file utils.hpp.

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