Searched refs:bArg2 (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/parse/ |
| H A D | parseCore.c | 506 DdNode * bArg1, * bArg2, * bFunc; in Parse_ParserPerformTopOp() local
508 bArg2 = (DdNode *)Parse_StackFnPop( pStackFn ); in Parse_ParserPerformTopOp()
511 bFunc = Cudd_bddAnd( dd, bArg1, bArg2 ); in Parse_ParserPerformTopOp()
513 bFunc = Cudd_bddXor( dd, bArg1, bArg2 ); in Parse_ParserPerformTopOp()
515 bFunc = Cudd_bddOr( dd, bArg1, bArg2 ); in Parse_ParserPerformTopOp()
517 bFunc = Cudd_bddXnor( dd, bArg1, bArg2 ); in Parse_ParserPerformTopOp()
519 bFunc = Cudd_bddOr( dd, Cudd_Not(bArg1), bArg2 ); in Parse_ParserPerformTopOp()
521 bFunc = Cudd_bddOr( dd, Cudd_Not(bArg2), bArg1 ); in Parse_ParserPerformTopOp()
526 Cudd_RecursiveDeref( dd, bArg2 ); in Parse_ParserPerformTopOp()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/ver/ |
| H A D | verFormula.c | 344 Hop_Obj_t * bArg0, * bArg1, * bArg2, * bFunc; in Ver_FormulaParserTopOper() local
346 bArg2 = (Hop_Obj_t *)Vec_PtrPop( vStackFn ); in Ver_FormulaParserTopOper()
349 bFunc = Hop_And( pMan, bArg1, bArg2 ); in Ver_FormulaParserTopOper()
351 bFunc = Hop_Exor( pMan, bArg1, bArg2 ); in Ver_FormulaParserTopOper()
353 bFunc = Hop_Or( pMan, bArg1, bArg2 ); in Ver_FormulaParserTopOper()
355 bFunc = Hop_Not( Hop_Exor( pMan, bArg1, bArg2 ) ); in Ver_FormulaParserTopOper()
360 bFunc = Hop_Mux( pMan, bArg0, bArg1, bArg2 ); in Ver_FormulaParserTopOper()
|