Home
last modified time | relevance | path

Searched refs:constraint_term (Results 1 – 6 of 6) sorted by relevance

/dports/math/yices/yices-2.6.2/src/mcsat/nra/
H A Dnra_plugin.c1093 term_t constraint_term = variable_db_get_term(var_db, constraint_var); in nra_plugin_check_conflict() local
1094 nra_plugin_get_constraint_variables(nra, constraint_term, &core_vars); in nra_plugin_check_conflict()
1699 term_t constraint_term = unsigned_term(literal_term); in nra_plugin_new_lemma_notify() local
1700 … variable_t constraint_var = variable_db_get_variable_if_exists(nra->ctx->var_db, constraint_term); in nra_plugin_new_lemma_notify()
1704 bool negated = constraint_term != literal_term; in nra_plugin_new_lemma_notify()
1745 term_t constraint_term = unsigned_term(literal_term); in nra_plugin_new_lemma_notify() local
1746 … variable_t constraint_var = variable_db_get_variable_if_exists(nra->ctx->var_db, constraint_term); in nra_plugin_new_lemma_notify()
H A Dnra_plugin_explain.c1046 term_t constraint_term = variable_db_get_term(nra->ctx->var_db, constraint_var); in nra_plugin_explain_conflict() local
1050 constraint_term = opposite_term(constraint_term); in nra_plugin_explain_conflict()
1052 ivector_push(conflict, constraint_term); in nra_plugin_explain_conflict()
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/
H A Dppl_prolog_common.cc1268 constraint_term(const Constraint& c) { in constraint_term() function
2145 Prolog_construct_cons(tail, constraint_term(*i), tail); in ppl_MIP_Problem_constraints()
2646 Prolog_construct_cons(tail, constraint_term(*i), tail); in ppl_PIP_Problem_constraints()
2967 Prolog_construct_cons(tail, constraint_term(*i), tail); in ppl_PIP_Tree_Node_constraints()
H A Dppl_prolog_common_defs.hh738 constraint_term(const Parma_Polyhedra_Library::Constraint& c);
/dports/net/krill/krill-0.9.4/cargo-crates/polar-core-0.12.4/src/
H A Dvm.rs1900 if let Some(constraint_term) = self.check_partial_args(object, field, value)? { in dot_op_helper()
1902 self.add_constraint(&constraint_term)?; in dot_op_helper()
2074 let constraint_term = op!(Unify, value.clone(), dot.into_term()).into_term(); in check_partial_args() localVariable
2075 return Ok(Some(constraint_term)); in check_partial_args()
/dports/devel/ppl/ppl-1.2/
H A DChangeLog_2001-200889461 * interfaces/Prolog/ppl_prolog.icc (1.12): Now constraint_term()