Home
last modified time | relevance | path

Searched refs:c_uminus (Results 1 – 4 of 4) sorted by relevance

/dports/lang/sdcc/sdcc-4.0.0/src/regression/
H A Dcompare6.c160 c_uminus(void) in c_uminus() function
177 c_uminus(); in main()
/dports/devel/cc65/cc65-2.19/test/val/
H A Dcompare6.c152 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 DMSC001-2.ax187 ( ~ 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 DMSC001-0.ax179 … ( 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) )).