Lines Matching refs:constraint
55 def __init__ (self, constraint): argument
62 self._c = constraint
64 def add (self, constraint): argument
66 if not constraint:
68 first = constraint[0]
69 rest = constraint[1:]
71 if constraint == self._c[:len (constraint)]:
72 self._c = constraint
73 elif self._c != constraint[:len (self._c)]:
139 constraint = [int (cp, 16) for cp in line.split (';')[0].split ()] variable
140 if not constraint: continue
141 assert 2 <= len (constraint), 'Prohibited sequence is too short: {}'.format (constraint)
142 script = scripts[constraint[0]]
144 constraints[script].add (constraint)
146 constraints[script] = ConstraintSet (constraint)