/**
* stop execution - returning the given assignment, will cause a TERMINATION message to be sent to
* all other agents, if ans is null there is no solution
*
* @param ans
*/
protected void finish(Assignment ans) {
if (ans == null) {
controller.reportNoSolution();
} else {
controller.assignAll(ans);
}
terminate();
}
