state._fsp--; constraint = new ValueSourceReturnValueConstraint(valuesource, fc, IOperator.EQUAL); state._fsp--; constraint = new ValueSourceReturnValueConstraint(valuesource, oc, IOperator.EQUAL);
ex1 = createValueExtractor(-1, ((ValueSourceReturnValueConstraint)pc).getValueSource(), -1, context, false);
ex1 = createValueExtractor(-1, ((ValueSourceReturnValueConstraint)pc).getValueSource(), -1, context, false);
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[]