Lines Matching +full:0 +full:- +full:mon

2 # SPDX-License-Identifier: GPL-2.0-only
10 def line_len(line: str) -> int:
14 def break_long_line(line: str, indent='') -> list[str]:
17         i = line[:COLUMN_LIMIT - line_len(line)].rfind(' ')
41 def abbreviate_atoms(atoms: list[str]) -> list[str]:
42     def shorten(s: str) -> str:
48         for i in range(len(atom), -1, -1):
70     def _fill_states(self) -> str:
128             buf.append("\tbool %s = test_bit(LTL_%s, mon->atoms);" % (atom.lower(), atom))
140 …      "ltl_possible_next_states(struct ltl_monitor *mon, unsigned int state, unsigned long *next)",
177             "static void ltl_start(struct task_struct *task, struct ltl_monitor *mon)",
200             buf.append("\t\t__set_bit(S%i, mon->states);" % node.id)
208         buff.append("\tltl_atom_update(task, LTL_%s, true/false);" % self.atoms[0])
224             buff.append("\tltl_atom_set(mon, LTL_%s, true/false);" % a)
229             "/* SPDX-License-Identifier: GPL-2.0 */",