Searched refs:constraint_term (Results 1 – 6 of 6) sorted by relevance
/dports/math/yices/yices-2.6.2/src/mcsat/nra/ |
H A D | nra_plugin.c | 1093 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 D | nra_plugin_explain.c | 1046 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 D | ppl_prolog_common.cc | 1268 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 D | ppl_prolog_common_defs.hh | 738 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 D | vm.rs | 1900 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 D | ChangeLog_2001-2008 | 89461 * interfaces/Prolog/ppl_prolog.icc (1.12): Now constraint_term()
|