def make_tc(self, t_atom):
size = len(t_atom.elements)
if size == 1:
return TheoryConstraintSize1(t_atom)
elif size == 2:
util.Count.add(StatNames.SIZE2_COUNT_MSG.value)
return TheoryConstraint(t_atom, self.lock_ng)
else:
raise Exception("Conseqs propagator can not handle constraints of size > 2")
def make_tc(self, t_atom): size = len(t_atom.elements) if size == 1: return TheoryConstraintSize1(t_atom) elif size == 2: util.Count.add(StatNames.SIZE2_COUNT_MSG.value) return TheoryConstraintSize2Prop(t_atom, self.lock_ng) else: util.Count.add(StatNames.SIZEN_COUNT_MSG.value) return TheoryConstraintNaiveProp(t_atom, self.lock_ng)