Searched refs:SET_TR (Results 1 – 7 of 7) sorted by relevance
/dports/math/spot/spot-2.10.2/tests/core/ |
H A D | parity.cc | 49 #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 D | parity.cc | 49 #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 D | gbc.c | 236 SET_TR(addr, 0); in clrcell()
|
H A D | main.c | 360 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 D | syntax.c | 2266 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 D | eisl.h | 322 SET_TR(int addr, char x) in SET_TR() function
|
H A D | cell.c | 266 SET_TR(res, 0); in freshcell()
|