Searched refs:float_lin_eq_t (Results 1 – 2 of 2) sorted by relevance
| /dports/math/minizinc/libminizinc-2.5.5/lib/ |
| H A D | MIPdomains.cpp | 352 std::vector<Type> float_lin_eq_t = member in MiniZinc::MIPD
368 float_lin_eq = env.model->matchFn(env, constants().ids.float_.lin_eq, float_lin_eq_t, false); in registerLinearConstraintDecls()
369 float_lin_le = env.model->matchFn(env, constants().ids.float_.lin_le, float_lin_eq_t, false); in registerLinearConstraintDecls()
373 lin_exp_float = env.model->matchFn(env, constants().ids.lin_exp, float_lin_eq_t, false); in registerLinearConstraintDecls()
|
| H A D | flatten.cpp | 3011 std::vector<Type> float_lin_eq_t(3); in flatten() local
3012 float_lin_eq_t[0] = Type::parfloat(1); in flatten()
3013 float_lin_eq_t[1] = Type::varfloat(1); in flatten()
3014 float_lin_eq_t[2] = Type::parfloat(0); in flatten()
3016 FunctionI* fi = env.model->matchFn(env, constants().ids.float_.lin_eq, float_lin_eq_t, false); in flatten()
|