Searched refs:booleanVars (Results 1 – 7 of 7) sorted by relevance
80 DdNode ** booleanVars; in retFactor() local86 booleanVars=v.booleanVars; in retFactor()93 booleanVar=booleanVars[i]; in retFactor()226 bvar=v.booleanVars[posBVar]; in correctPosition()
55 v.booleanVars=(DdNode * *) malloc(v.nBit* sizeof(DdNode *)); in createVars()73 v.booleanVars[i]=Cudd_bddIthVar(mgr,b+i); in createVars()200 free(vars.varar[i].booleanVars); in compute_prob()
37 DdNode * * booleanVars; member
611 varmap.mvars[index].booleanVars=(int *)malloc(sizeof(int)*varmap.mvars[index].nBit); in LoadVariableData()644 varmap.mvars[index].booleanVars=(DdNode **)malloc(sizeof(DdNode *)*varmap.mvars[index].nBit); in LoadMultiVariableData()813 int *booleanVars; in AddNamedMultiVar() local834 booleanVars= varmap.mvars[index].booleanVars; in AddNamedMultiVar()837 booleanVars[i]=boolVars; in AddNamedMultiVar()1739 int bit,*booleanVars,booleanVar; in equality() local1745 booleanVars=v.booleanVars; in equality()1747 booleanVar=booleanVars[i]; in equality()1761 booleanVar=booleanVars[i]; in equality()
243 int * booleanVars; member
431 free(MyManager.varmap.mvars[i].booleanVars); in main()858 bvar=v.booleanVars[posBVar]; in correctPosition()
542 Stack<int> booleanVars; in parseQuantifiedFormula() local584 booleanVars.push(varNumber); in parseQuantifiedFormula()591 _isaved.push(booleanVars.length()); in parseQuantifiedFormula()592 while (! booleanVars.isEmpty()) { in parseQuantifiedFormula()593 TermList x(booleanVars.pop(),false); in parseQuantifiedFormula()