Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/mcsat/
H A Dunit_info.h23 CONSTRAINT_UNKNOWN, enumerator
/dports/graphics/gimp-app/gimp-2.10.30/app/display/
H A Dgimptoolgyroscope.c55 CONSTRAINT_UNKNOWN, enumerator
371 private->constraint = CONSTRAINT_UNKNOWN; in gimp_tool_gyroscope_button_press()
428 if (private->constraint == CONSTRAINT_UNKNOWN) in gimp_tool_gyroscope_motion()
663 private->constraint = CONSTRAINT_UNKNOWN; in gimp_tool_gyroscope_motion_modifier()
/dports/math/yices/yices-2.6.2/src/mcsat/bv/
H A Dbv_plugin.c265 return CONSTRAINT_UNKNOWN; in bv_plugin_get_unit_info()
810 constraint_unit_info_t unit_status = CONSTRAINT_UNKNOWN; in bv_plugin_new_term_notify()
830 case CONSTRAINT_UNKNOWN: in bv_plugin_new_term_notify()
1025 case CONSTRAINT_UNKNOWN: in bv_plugin_pop()
1030 bv_plugin_set_unit_info(bv, cstr, variable_null, CONSTRAINT_UNKNOWN); in bv_plugin_pop()
/dports/math/yices/yices-2.6.2/src/mcsat/nra/
H A Dnra_plugin_internal.c160 return CONSTRAINT_UNKNOWN; in nra_plugin_get_unit_info()
H A Dnra_plugin.c584 constraint_unit_info_t unit_status = CONSTRAINT_UNKNOWN; in nra_plugin_new_term_notify()
1537 case CONSTRAINT_UNKNOWN: in nra_plugin_pop()
1542 nra_plugin_set_unit_info(nra, constraint_var, variable_null, CONSTRAINT_UNKNOWN); in nra_plugin_pop()