Searched refs:bddop_nor (Results 1 – 16 of 16) sorted by relevance
/dports/math/spot/spot-2.10.2/python/ |
H A D | buddy.py | 191 bddop_nor = _buddy.bddop_nor variable
|
H A D | buddy.i | 213 #define bddop_nor 4 macro
|
/dports/math/py-spot/spot-2.10.2/python/ |
H A D | buddy.py | 191 bddop_nor = _buddy.bddop_nor variable
|
H A D | buddy.i | 213 #define bddop_nor 4 macro
|
/dports/math/spot/spot-2.10.2/buddy/examples/bddcalc/ |
H A D | parser.y | 145 | expr T_nor expr { actOpr2(&$$,&$1,&$3,bddop_nor); }
|
H A D | parser.c | 1397 { actOpr2(&yyval,&yyvsp[-2],&yyvsp[0],bddop_nor); } in yyparse()
|
/dports/math/py-spot/spot-2.10.2/buddy/examples/bddcalc/ |
H A D | parser.y | 145 | expr T_nor expr { actOpr2(&$$,&$1,&$3,bddop_nor); }
|
H A D | parser.c | 1397 { actOpr2(&yyval,&yyvsp[-2],&yyvsp[0],bddop_nor); } in yyparse()
|
/dports/science/buddy/buddy-2.4/examples/bddcalc/ |
H A D | parser.yxx | 143 | expr T_nor expr { actOpr2(&$$,&$1,&$3,bddop_nor); }
|
H A D | parser.cxx | 1204 { actOpr2(&yyval,&yyvsp[-2],&yyvsp[0],bddop_nor); }
|
/dports/science/buddy/buddy-2.4/src/ |
H A D | bddop.c | 578 case bddop_nor: in apply_rec() 1970 case bddop_nor: in appquant_rec()
|
H A D | bdd.h | 54 #define bddop_nor 4 macro
|
/dports/math/spot/spot-2.10.2/buddy/src/ |
H A D | bddx.h | 101 #define bddop_nor 4 macro
|
H A D | bddop.c | 826 case bddop_nor: \
|
/dports/math/py-spot/spot-2.10.2/buddy/src/ |
H A D | bddx.h | 101 #define bddop_nor 4 macro
|
H A D | bddop.c | 826 case bddop_nor: \
|