new OperatorFunction(op), new Object[]{((VariableExpression)left).getVariable(), rightsource})));
new OperatorFunction(op), new Object[]{((VariableExpression)left).getVariable(), rightsource})));
IFunction func = new OperatorFunction(op!=null? op: IOperator.EQUAL); fc = new FunctionCall(func, new Object[]{exp1, exp2});
IFunction func = new OperatorFunction(op!=null? op: IOperator.EQUAL); fc = new FunctionCall(func, new Object[]{exp1, exp2});
f11con.addConstraint(new BoundConstraint(null, f1)); f11con.addConstraint(new BoundConstraint(fibo_has_sequence, f1seq)); f11con.addConstraint(new PredicateConstraint(new FunctionCall(new OperatorFunction(IOperator.EQUAL), new Object[]{f0seq, new FunctionCall(new Sub(), new Object[]{f1seq, Integer.valueOf(1)})}))); f11con.addConstraint(new LiteralConstraint(fibo_has_value, Long.valueOf(-1), IOperator.NOTEQUAL)); f22con.addConstraint(new BoundConstraint(fibo_has_sequence, f2seq)); f22con.addConstraint(new LiteralConstraint(fibo_has_value, Long.valueOf(-1))); f22con.addConstraint(new PredicateConstraint(new FunctionCall(new OperatorFunction(IOperator.EQUAL), new Object[]{f1seq, new FunctionCall(new Sub(), new Object[]{f2seq, Integer.valueOf(1)})})));
f11con.addConstraint(new BoundConstraint(null, f1)); f11con.addConstraint(new BoundConstraint(fibo_type.getAttributeType("sequence"), f1cnt)); f11con.addConstraint(new PredicateConstraint(new FunctionCall(new OperatorFunction(IOperator.EQUAL), new Object[]{f0cnt, new FunctionCall(new Sub(), new Object[]{f1cnt, Integer.valueOf(1)})}))); f11con.addConstraint(new LiteralConstraint(fibo_type.getAttributeType("value"), Long.valueOf(-1), IOperator.NOTEQUAL)); f22con.addConstraint(new BoundConstraint(fibo_type.getAttributeType("sequence"), f2cnt)); f22con.addConstraint(new LiteralConstraint(fibo_type.getAttributeType("value"), Long.valueOf(-1))); f22con.addConstraint(new PredicateConstraint(new FunctionCall(new OperatorFunction(IOperator.EQUAL), new Object[]{f1cnt, new FunctionCall(new Sub(), new Object[]{f2cnt, Integer.valueOf(1)})})));
func = (IFunction)opex.getOperator(); else func = new OperatorFunction((IOperator)opex.getOperator());
func = (IFunction)opex.getOperator(); else func = new OperatorFunction((IOperator)opex.getOperator());
func = (IFunction)opex.getOperator(); else func = new OperatorFunction((IOperator)opex.getOperator());
func = (IFunction)opex.getOperator(); else func = new OperatorFunction((IOperator)opex.getOperator());
cardcon.addConstraint(new BoundConstraint(null, samegoals)); FunctionCall fc_num = new FunctionCall(new Length(), new Object[]{samegoals}); FunctionCall fc_numcard = new FunctionCall(new OperatorFunction(IOperator.GREATEROREQUAL), new Object[]{fc_num, cardinality}); cardcon.addConstraint(new PredicateConstraint(fc_numcard));