ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
eSLIM::RelationGenerator< Derived > Class Template Reference

#include <relationGeneration.hpp>

Static Public Member Functions

static Abc_RData_tcomputeRelation (Gia_Man_t *gia_man, const Subcircuit &subcir)
 

Detailed Description

template<class Derived>
class eSLIM::RelationGenerator< Derived >

Definition at line 43 of file relationGeneration.hpp.

Member Function Documentation

◆ computeRelation()

template<typename T>
Abc_RData_t * eSLIM::RelationGenerator< T >::computeRelation ( Gia_Man_t * gia_man,
const Subcircuit & subcir )
inlinestatic

Definition at line 96 of file relationGeneration.hpp.

96 {
97 T generator(gia_man, subcir);
98 generator.setup();
100 if ( relation_patterns_masks == NULL ) {
101 return nullptr;
102 }
103 int nof_inputs = subcir.nof_inputs;
104 int nof_outputs = Vec_IntSize(subcir.io) - subcir.nof_inputs;
105 Abc_RData_t* r = constructABCRelationRepresentation(relation_patterns_masks, nof_inputs, nof_outputs);
107 return r;
108 }
ABC_NAMESPACE_HEADER_START typedef uint64_t generator
Definition random.h:12

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