Searched refs:c_uminus (Results 1 – 4 of 4) sorted by relevance
/dports/lang/sdcc/sdcc-4.0.0/src/regression/ |
H A D | compare6.c | 160 c_uminus(void) in c_uminus() function 177 c_uminus(); in main()
|
/dports/devel/cc65/cc65-2.19/test/val/ |
H A D | compare6.c | 152 void c_uminus(void) in c_uminus() function 167 c_uminus(); in main()
|
/dports/math/eprover/eprover-E-2.0/EXAMPLE_PROBLEMS/TPTP/Axioms/ |
H A D | MSC001-2.ax | 187 ( ~ c_Divides_Oop_Advd(V_z,c_uminus(V_w,tc_IntDef_Oint),tc_IntDef_Oint) 192 | c_Divides_Oop_Advd(V_z,c_uminus(V_w,tc_IntDef_Oint),tc_IntDef_Oint) )). 202 ( ~ c_Divides_Oop_Advd(c_uminus(V_z,tc_IntDef_Oint),V_w,tc_IntDef_Oint) 207 | c_Divides_Oop_Advd(c_uminus(V_z,tc_IntDef_Oint),V_w,tc_IntDef_Oint) )). 607 | ~ c_in(V_c,c_uminus(V_A,tc_set(T_a)),T_a) )). 611 | c_in(V_c,c_uminus(V_A,tc_set(T_a)),T_a) )). 614 ( c_uminus(V_A,tc_set(T_a)) != c_uminus(V_B,tc_set(T_a)) 618 ( ~ c_lessequals(c_uminus(V_A,tc_set(T_a)),c_uminus(V_B,tc_set(T_a)),tc_set(T_a)) 623 | c_lessequals(c_uminus(V_A,tc_set(T_a)),c_uminus(V_B,tc_set(T_a)),tc_set(T_a)) )).
|
H A D | MSC001-0.ax | 179 … ( c_lessequals(c_uminus(c_IntDef_Oint(V_n),tc_IntDef_Oint),c_IntDef_Oint(V_m),tc_IntDef_Oint) )). 182 … ( c_less(c_uminus(c_IntDef_Oint(c_Suc(V_n)),tc_IntDef_Oint),c_IntDef_Oint(V_m),tc_IntDef_Oint) )).
|