/dports/math/gecode/gecode-0916a1a/contribs/qecode/ |
H A D | UnblockableViewValBranching.cc | 44 void UnblockableViewValBranching::branch(MySpace* s,IntVarArgs ivars, BoolVarArgs bvars) { in branch()
|
H A D | QCSPPlusUnblockable.hh | 52 vector<int>* bvars; member in QcspUnblockable
|
/dports/math/analitza/analitza-21.12.3/analitza/ |
H A D | stringexpressionwriter.cpp | 176 QStringList bvars=a->bvarStrings(); in visit() local 263 QStringList bvars = var->bvarStrings(); in visit() local
|
H A D | htmlexpressionwriter.cpp | 206 QStringList bvars; in visit() local 236 QStringList bvars; in visit() local
|
H A D | substituteexpression.cpp | 49 QVector<Ci*> bvars = pattern->bvarCi(); in walkApply() local
|
H A D | analyzer.cpp | 417 QStringList bvars = c->bvarStrings(); in eval() local 478 QSet<QString> bvars = c->bvarStrings().toSet(); in eval() local 913 QVector<Ci*> bvars=n->bvarCi(); in initBVarsContainer() local 946 QVector<Ci*> bvars=n->bvarCi(); in initBVarsRange() local 1142 QVector<Ci*> bvars=c->bvarCi(); in calcDiff() local 1341 QStringList bvars=c->bvarStrings(); in simpApply() local 1520 QList<Ci*> bvars; in simpApply() local 1709 QSet<QString> bvars=c->bvarStrings().toSet(); in simpSum() local
|
H A D | analitzautils.cpp | 155 QSet<QString> bvars=c->bvarStrings().toSet(), varsCopy=vars; in hasTheVar() local 163 QSet<QString> bvars=c->bvarStrings().toSet(), varsCopy=vars; in hasTheVar() local 210 bool hasVars(const Analitza::Object* o, const QStringList& bvars) in hasVars()
|
H A D | container.cpp | 131 QStringList bvars; in bvarStrings() local
|
H A D | mathmlpresentationexpressionwriter.cpp | 323 QString bvars; in visit() local
|
H A D | expression.cpp | 234 QStringList bvars; in canAdd() local
|
H A D | expressiontypechecker.cpp | 777 QStringList bvars=c->bvarStrings(); in visit() local
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/sat_solver/ |
H A D | inc_sat_solver.cpp | 440 sat::bool_var_vector bvars; in get_consequences_core() local 744 lbool internalize_vars(expr_ref_vector const& vars, sat::bool_var_vector& bvars) { in internalize_vars() 751 bool internalize_var(expr* v, sat::bool_var_vector& bvars) { in internalize_var() 790 sat::bool_var_vector bvars; in extract_fixed_variable() local
|
/dports/math/analitza/analitza-21.12.3/analitzaplot/private/ |
H A D | abstractsurface.cpp | 47 QStringList bvars = parameters(); in buildParametricSurface() local
|
/dports/math/z3/z3-z3-4.8.13/src/sat/sat_solver/ |
H A D | inc_sat_solver.cpp | 470 sat::bool_var_vector bvars; in get_consequences_core() local 774 lbool internalize_vars(expr_ref_vector const& vars, sat::bool_var_vector& bvars) { in internalize_vars() 781 bool internalize_var(expr* v, sat::bool_var_vector& bvars) { in internalize_var() 820 sat::bool_var_vector bvars; in extract_fixed_variable() local
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/fd_solver/ |
H A D | enum2bv_solver.cpp | 136 expr_ref_vector bvars(m), conseq(m), bounds(m); in get_consequences_core() local
|
H A D | bounded_int2bv_solver.cpp | 203 expr_ref_vector bvars(m); in get_consequences_core() local
|
/dports/math/z3/z3-z3-4.8.13/src/tactic/fd_solver/ |
H A D | enum2bv_solver.cpp | 140 expr_ref_vector bvars(m), conseq(m), bounds(m); in get_consequences_core() local
|
H A D | bounded_int2bv_solver.cpp | 207 expr_ref_vector bvars(m); in get_consequences_core() local
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
H A D | quant_conflict_find.cpp | 98 std::vector< int > bvars; in initialize() local 104 std::vector< int > bvars; in initialize() local 1087 void MatchGen::determineVariableOrder( QuantInfo * qi, std::vector< int >& bvars ) { in determineVariableOrder()
|
/dports/math/vampire/vampire-4.5.1/Indexing/ |
H A D | ClauseCodeTree.cpp | 944 unsigned bvars=bi->varCnt; in compatible() local
|
/dports/math/minizinc/libminizinc-2.5.5/solvers/geas/ |
H A D | geas_constraints.cpp | 699 vec<geas::patom_t> bvars; in p_at_most() local 713 vec<geas::patom_t> bvars; in p_at_most1() local
|
/dports/math/gretl/gretl-2021d/lib/src/ |
H A D | genlex.c | 196 struct str_table bvars[] = { variable
|
/dports/biology/py-python-libsbml/python-libsbml-5.19.0/libsbml_source/src/sbml/math/ |
H A D | MathML.cpp | 1798 unsigned int bvars = node.getNumChildren() - 1; in writeLambda() local
|
/dports/biology/libsbml/libsbml-5.19.0/src/sbml/math/ |
H A D | MathML.cpp | 1798 unsigned int bvars = node.getNumChildren() - 1; in writeLambda() local
|
/dports/math/z3/z3-z3-4.8.13/src/qe/ |
H A D | nlqsat.cpp | 131 svector<nlsat::bool_var> bvars; in save_model() local
|