Searched refs:nTtVars (Results 1 – 2 of 2) sorted by relevance
323 p->nTtVars = Gia_ManPiNum( p ); in Gia_ObjComputeTruthTable()324 p->nTtWords = Abc_Truth6WordNum( p->nTtVars ); in Gia_ObjComputeTruthTable()327 p->vTtInputs = Vec_PtrAllocTruthTables( Abc_MaxInt(6, p->nTtVars) ); in Gia_ObjComputeTruthTable()334 assert( p->nTtVars == Gia_ManPiNum(p) ); in Gia_ObjComputeTruthTable()424 p->nTtVars = nVarsMax; in Gia_ObjComputeTruthTableStart()425 p->nTtWords = Abc_Truth6WordNum( p->nTtVars ); in Gia_ObjComputeTruthTableStart()427 p->vTtInputs = Vec_PtrAllocTruthTables( Abc_MaxInt(6, p->nTtVars) ); in Gia_ObjComputeTruthTableStart()434 p->nTtVars = 0; in Gia_ObjComputeTruthTableStop()498 assert( Vec_IntSize(vLeaves) <= p->nTtVars ); in Gia_ObjComputeTruthTableCut()
221 int nTtVars; // truth table variables member