dsc.h

Go to the documentation of this file.

 
#ifndef ABC__DSC___h
#define ABC__DSC___h
 

#include <stdio.h>
#include <string.h>
#include "misc/util/abc_global.h"

 
ABC_NAMESPACE_HEADER_START
 
#define DSC_MAX_VAR        16 // should be 6 or more, i.e. DSC_MAX_VAR >= 6
#define DSC_MAX_STR        DSC_MAX_VAR << 2 // DSC_MAX_VAR * 4



 
/*=== dsc.c ==========================================================*/

extern word * Dsc_alloc_pool(int nVars);

extern int Dsc_Decompose(word * pTruth, const int nVarsInit, char * const pRes, word *pool);

extern void Dsc_free_pool(word * pool);
 
int * Dsc_ComputeMatches( char * p );
int Dsc_CountAnds_rec( char * pStr, char ** p, int * pMatches );
extern int Dsc_CountAnds( char * pDsd );
 
ABC_NAMESPACE_HEADER_END
 
#endif