Lines Matching refs:constraint
61 def __init__ (self, constraint): argument
68 self._c = constraint
70 def add (self, constraint): argument
72 if not constraint:
74 first = constraint[0]
75 rest = constraint[1:]
77 if constraint == self._c[:len (constraint)]:
78 self._c = constraint
79 elif self._c != constraint[:len (self._c)]:
136 constraint = [int (cp, 16) for cp in line.split (';')[0].split ()] variable
137 if not constraint: continue
138 assert 2 <= len (constraint), 'Prohibited sequence is too short: {}'.format (constraint)
139 script = scripts[constraint[0]]
141 constraints[script].add (constraint)
143 constraints[script] = ConstraintSet (constraint)