|
@@ -185,6 +185,8 @@ def add_constraints(model):
|
|
|
return [
|
|
|
'"model"',
|
|
|
'"add_constraint"', model, '"Integer"',
|
|
|
+ '"funcdef"',
|
|
|
+ '"constraint"',
|
|
|
'2', model*100, model*100+1,
|
|
|
'"if"',
|
|
|
'"call"',
|
|
@@ -210,6 +212,7 @@ def add_constraints(model):
|
|
|
'true',
|
|
|
'"const"', '"Integer instance is not an integer."',
|
|
|
'false',
|
|
|
+ 'false',
|
|
|
'"exit"',
|
|
|
]
|
|
|
|