Home
last modified time | relevance | path

Searched refs:SET_TR (Results 1 – 7 of 7) sorted by relevance

/dports/math/spot/spot-2.10.2/tests/core/
H A Dparity.cc49 #define SET_TR(t, value) do { \ macro
67 SET_TR(t, 0); in generate_aut()
81 SET_TR(t, value); in generate_aut()
99 SET_TR(t, val); in generate_aut()
109 SET_TR(t, acc); in generate_aut()
133 SET_TR(t, cont_sets[num_sets][j]); in generate_aut()
149 SET_TR(t, value); in generate_aut()
/dports/math/py-spot/spot-2.10.2/tests/core/
H A Dparity.cc49 #define SET_TR(t, value) do { \ macro
67 SET_TR(t, 0); in generate_aut()
81 SET_TR(t, value); in generate_aut()
99 SET_TR(t, val); in generate_aut()
109 SET_TR(t, acc); in generate_aut()
133 SET_TR(t, cont_sets[num_sets][j]); in generate_aut()
149 SET_TR(t, value); in generate_aut()
/dports/lang/eisl/eisl-2.35/
H A Dgbc.c236 SET_TR(addr, 0); in clrcell()
H A Dmain.c360 SET_TR(GET_CAR(car(ls)), 0); in initpt()
1606 SET_TR(func, n + 1); in DEF_GETTER()
1648 SET_TR(func, n); in DEF_GETTER()
1711 SET_TR(func, n + 1); in DEF_GETTER()
H A Dsyntax.c2266 SET_TR(car(arglist), 1); in f_trace()
2281 SET_TR(car(trace_list), 0); // reset trace tag of symbol in f_untrace()
2282 SET_TR(GET_CAR(car(trace_list)), 0); // reset trace in f_untrace()
2290 SET_TR(car(arglist), 0); in f_untrace()
2291 SET_TR(GET_CAR(car(arglist)), 0); in f_untrace()
H A Deisl.h322 SET_TR(int addr, char x) in SET_TR() function
H A Dcell.c266 SET_TR(res, 0); in freshcell()