Searched refs:ASSUMPTION_SIGN_NONNEGATIVE (Results 1 – 8 of 8) sorted by relevance
53 ASSUMPTION_SIGN_NONNEGATIVE, enumerator
29 bool Assumptions::isNonNegative() {return i_sign == ASSUMPTION_SIGN_NONNEGATIVE || i_sign == ASSUMP… in isNonNegative()168 else if(mvar.representsNonNegative(true)) ass->setSign(ASSUMPTION_SIGN_NONNEGATIVE); in setAssumptions()
1529 …tmp == "non-negative") ((UnknownVariable*) v)->assumptions()->setSign(ASSUMPTION_SIGN_NONNEGATIVE); in loadDefinitions()2460 case ASSUMPTION_SIGN_NONNEGATIVE: { in saveVariables()
2271 … if(m.comparisonType() == COMPARISON_EQUALS_GREATER) ass->setSign(ASSUMPTION_SIGN_NONNEGATIVE); in handle_where_expression()
508 case ASSUMPTION_SIGN_NONNEGATIVE: {value = _("non-negative"); break;} in print_variable()
287 CALCULATOR->defaultAssumptions()->setSign(ASSUMPTION_SIGN_NONNEGATIVE); in set_assumption()733 case ASSUMPTION_SIGN_NONNEGATIVE: {value = _("non-negative"); break;} in set_option()1724 case ASSUMPTION_SIGN_NONNEGATIVE: {value = _("non-negative"); break;} in list_defs()3311 case ASSUMPTION_SIGN_NONNEGATIVE: {value = _("non-negative"); break;} in main()3994 case ASSUMPTION_SIGN_NONNEGATIVE: {value = _("non-negative"); break;} in main()4139 if(ass->sign() == ASSUMPTION_SIGN_NONNEGATIVE) str += "*"; in main()4375 if(ass->sign() == ASSUMPTION_SIGN_NONNEGATIVE) str += "*"; in main()
4669 case ASSUMPTION_SIGN_NONNEGATIVE: {value = _("non-negative"); break;} in setVariableTreeItem()6849 case ASSUMPTION_SIGN_NONNEGATIVE: {title = _("non-negative"); break;} in update_completion()11675 as = ASSUMPTION_SIGN_NONNEGATIVE; in set_assumption()26198 CALCULATOR->defaultAssumptions()->setSign(ASSUMPTION_SIGN_NONNEGATIVE); in on_menu_item_assumptions_nonnegative_activate()26258 …case ASSUMPTION_SIGN_NONNEGATIVE: {gtk_check_menu_item_set_active(GTK_CHECK_MENU_ITEM(gtk_builder_… in set_x_assumptions_items()26319 set_sign("x", ASSUMPTION_SIGN_NONNEGATIVE); in on_menu_item_x_nonnegative_activate()26345 …case ASSUMPTION_SIGN_NONNEGATIVE: {gtk_check_menu_item_set_active(GTK_CHECK_MENU_ITEM(gtk_builder_… in set_y_assumptions_items()26406 set_sign("y", ASSUMPTION_SIGN_NONNEGATIVE); in on_menu_item_y_nonnegative_activate()26432 …case ASSUMPTION_SIGN_NONNEGATIVE: {gtk_check_menu_item_set_active(GTK_CHECK_MENU_ITEM(gtk_builder_… in set_z_assumptions_items()26493 set_sign("z", ASSUMPTION_SIGN_NONNEGATIVE); in on_menu_item_z_nonnegative_activate()
323 …case ASSUMPTION_SIGN_NONNEGATIVE: {gtk_check_menu_item_set_active(GTK_CHECK_MENU_ITEM(gtk_builder_… in set_assumptions_items()