Searched defs:ltl_atom_str (Results 1 – 2 of 2) sorted by relevance
21 static const char *ltl_atom_str(enum ltl_atom atom) in ltl_atom_str() function
37 static const char *ltl_atom_str(enum ltl_atom atom) in ltl_atom_str() function