chrConstraintFrames.add(chrConstraintEntries.size());
}
- public void popCHRConstraintFrame(ArrayList<CHRConstraint> constraints) {
+ public void popCHRConstraintFrame(CHRRuleset ruleset) {
int frame = chrConstraintFrames.removeAt(chrConstraintFrames.size()-1);
int i = chrConstraintEntries.size();
while(i > frame) {
else
newConstraint = chrConstraints.put(entry.name, entry.constraint);
if(newConstraint.implicitlyDeclared)
- constraints.add(newConstraint);
+ ruleset.addConstraint(newConstraint);
}
}