Searched defs:level (Results 1 - 2 of 2) sorted by relevance

/pkg/src/modules/lint/
H A Dlog.py55 def __init__(self, msg, level=INFO, producer="unknown", msgid=None):
57 self.level = level
88 def __init__(self, tracker=None, level=INFO):
89 self._level = level
119 # setters/getters for log level to allow us to set
128 _("{value} is not a valid level").format(
137 level = property(_get_level, _set_level, _del_level) variable in class:LogFormatter
142 self.format(LintMessage(message, level=DEBUG, msgid=msgid),
146 self.format(LintMessage(message, level
[all...]
/pkg/src/modules/solver/
H A Dsolver.c33 // For derivation output (verbosity level 2)
389 /* does not hold because variables enqueued at top level will not be reinserted in the heap
442 static inline void solver_canceluntil(solver* s, int level) { argument
449 if (solver_dlevel(s) <= level)
455 bound = (veci_begin(&s->trail_lim))[level];
467 veci_resize(&s->trail_lim,level);
681 printf(" } at level %d\n", lev);
973 * duplicate first level structures

Completed in 86 milliseconds