Home
last modified time | relevance | path

Searched refs:BOT_EQUIV (Results 1 – 7 of 7) sorted by relevance

/dports/math/minizinc/libminizinc-2.5.5/lib/flatten/
H A Dflatten_binop.cpp50 if (bot == BOT_EQ || bot == BOT_EQUIV) { in op_to_builtin()
85 } else if (op_rhs->type().isOpt() && (bot == BOT_EQUIV || bot == BOT_EQ)) { in op_to_builtin()
146 case BOT_EQUIV: in op_to_builtin()
208 case BOT_EQUIV: in op_to_id()
815 if (bo->op() != BOT_EQ && bo->op() != BOT_EQUIV) { in flatten_binop()
850 if ((bo->op() == BOT_EQ || bo->op() == BOT_EQUIV) && in flatten_binop()
874 bot = BOT_EQUIV; in flatten_binop()
1190 case BOT_EQUIV: in flatten_binop()
1241 bot = BOT_EQUIV; in flatten_binop()
/dports/math/minizinc/libminizinc-2.5.5/lib/
H A Dprettyprinter.cpp32 case BOT_EQUIV: in precedence()
517 case BOT_EQUIV: in p()
1406 case BOT_EQUIV: in mapBinOp()
H A Deval_par.cpp1050 case BOT_EQUIV: in eval_bool()
2314 case BOT_EQUIV: in vBinOp()
2715 case BOT_EQUIV: in vBinOp()
3059 case BOT_EQUIV: in vBinOp()
H A Dparser.yxx942 { $$=new BinOp(@$, $1, BOT_EQUIV, $3); }
1403 { $$=BOT_EQUIV; }
H A Dast.cpp783 case BOT_EQUIV: in opToString()
/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/
H A Dast.hh1032 BOT_EQUIV, enumerator
/dports/math/minizinc/libminizinc-2.5.5/lib/cached/
H A Dparser.tab.cpp3938 …{ (yyval.expression)=new BinOp((yyloc), (yyvsp[-2].expression), BOT_EQUIV, (yyvsp[0].expression));… in yyparse()
4583 { (yyval.iValue)=BOT_EQUIV; } in yyparse()