state._fsp--; constraint = new ValueSourceReturnValueConstraint(valuesource, fc, IOperator.EQUAL); state._fsp--; constraint = new ValueSourceReturnValueConstraint(valuesource, oc, IOperator.EQUAL);
state._fsp--; constraint = new ValueSourceReturnValueConstraint(valuesource, fc, IOperator.EQUAL); state._fsp--; constraint = new ValueSourceReturnValueConstraint(valuesource, oc, IOperator.EQUAL);
c5.addConstraint(new ValueSourceReturnValueConstraint(golfer_has_position, new FunctionCall(IFunction.SUM, new Object[]{fred_pos, Integer.valueOf(1)}))); c5.addConstraint(new LiteralConstraint(golfer_has_color, "blue")); c5.addConstraint(new OrConstraint(new IConstraint[]