ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
dsc.h
Go to the documentation of this file.
1
22
23#ifndef ABC__DSC___h
24#define ABC__DSC___h
25
26
30#include <stdio.h>
31#include <string.h>
33
37
39
40#define DSC_MAX_VAR 16 // should be 6 or more, i.e. DSC_MAX_VAR >= 6
41#define DSC_MAX_STR DSC_MAX_VAR << 2 // DSC_MAX_VAR * 4
42
46
50
54
55/*=== dsc.c ==========================================================*/
56
62extern word * Dsc_alloc_pool(int nVars);
63
74extern int Dsc_Decompose(word * pTruth, const int nVarsInit, char * const pRes, word *pool);
75
79extern void Dsc_free_pool(word * pool);
80
81int * Dsc_ComputeMatches( char * p );
82int Dsc_CountAnds_rec( char * pStr, char ** p, int * pMatches );
83extern int Dsc_CountAnds( char * pDsd );
84
86
87#endif
88
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
int Dsc_CountAnds(char *pDsd)
Definition dsc.c:513
int * Dsc_ComputeMatches(char *p)
Definition dsc.c:450
int Dsc_CountAnds_rec(char *pStr, char **p, int *pMatches)
Definition dsc.c:472
void Dsc_free_pool(word *pool)
Definition dsc.c:297
int Dsc_Decompose(word *pTruth, const int nVarsInit, char *const pRes, word *pool)
Definition dsc.c:311
word * Dsc_alloc_pool(int nVars)
BASIC TYPES ///.
Definition dsc.c:290
Cube * p
Definition exorList.c:222
unsigned __int64 word
DECLARATIONS ///.
Definition kitPerm.c:36