Lines Matching refs:MAX_K
33 #define MAX_K 6 // max lutsize macro
220 sat_solver * Sbd_SolverTopo( int M, int N, int K, int pVars[MAX_N][MAX_M+MAX_N][MAX_K], int pVars2[… in Sbd_SolverTopo() argument
370 …bd_SolverTopoPrint( sat_solver * pSat, int M, int N, int K, int pVars[MAX_N][MAX_M+MAX_N][MAX_K] ) in Sbd_SolverTopoPrint() argument
399 int pVars[MAX_N][MAX_M+MAX_N][MAX_K]; // 20 x 32 x 6 = 3840 in Sbd_SolverTopoTest()
449 void Sbd_SolverSynth( int M, int N, int K, int pLuts[MAX_N][MAX_K] ) in Sbd_SolverSynth() argument
525 word Sbd_SolverTruth( int M, int N, int K, int pLuts[MAX_N][MAX_K], int pValues[MAX_N*((1<<MAX_K)-1… in Sbd_SolverTruth() argument
548 …bd_SolverTruthWord( int M, int N, int K, int pLuts[MAX_N][MAX_K], int pValues[MAX_N*((1<<MAX_K)-1)… in Sbd_SolverTruthWord() argument
589 int Sbd_SolverFunc( int M, int N, int K, int pLuts[MAX_N][MAX_K], word * pTruthInit, int * pValues … in Sbd_SolverFunc() argument
596 int pLits[MAX_K+2], pLits2[MAX_K+2], nLits; in Sbd_SolverFunc()
765 int pLuts[MAX_N][MAX_K] = { {0,1}, {2,3}, {4,5}, {6,7}, {8,9}, {10,11}, {12,13} }; in Sbd_SolverFuncTest()
767 int pValues[MAX_N*((1<<MAX_K)-1)]; in Sbd_SolverFuncTest()