Home
last modified time | relevance | path

Searched refs:nra_plugin_get_lp_variable (Results 1 – 5 of 5) sorted by relevance

/dports/math/yices/yices-2.6.2/src/mcsat/nra/
H A Dlibpoly_utils.c50 lp_variable_t lp_var = nra_plugin_get_lp_variable(nra, var); in lp_polynomial_from_power_product()
129 lp_var = nra_plugin_get_lp_variable(nra, var); in lp_polynomial_from_polynomial()
135 lp_var = nra_plugin_get_lp_variable(nra, var); in lp_polynomial_from_polynomial()
189 lp_variable_t lp_var = nra_plugin_get_lp_variable(nra, t_var); in lp_polynomial_from_term()
H A Dnra_plugin_internal.h155 lp_variable_t nra_plugin_get_lp_variable(nra_plugin_t* nra, variable_t t);
H A Dpoly_constraint.c416 cstr_root_variable = nra_plugin_get_lp_variable(db->nra, x); in poly_constraint_db_add()
450 lp_variable_t constraint_lp_var = nra_plugin_get_lp_variable(db->nra, constraint_var); in poly_constraint_db_add()
H A Dnra_plugin_internal.c234 lp_variable_t nra_plugin_get_lp_variable(nra_plugin_t* nra, variable_t mcsat_var) { in nra_plugin_get_lp_variable() function
H A Dnra_plugin.c791 lp_variable_t lp_var = nra_plugin_get_lp_variable(nra, var); in nra_plugin_process_variable_assignment()
897 lp_variable_t x_lp = nra_plugin_get_lp_variable(nra, x); in nra_plugin_check_assignment()
1109 lp_variable_t x_lp = nra_plugin_get_lp_variable(nra, x); in nra_plugin_check_conflict()