b_arithmetic_expressions.pl

b_compute_arith_expression(b(Expr,Type,Info),LS,S,R,WF) :- !,
    (ground(Type), Type == integer -> true
    ; add_error(b_compute_arith_expression,'Arithmetic expression has illegal type: ',b(Expr,Type,Info))),
    b_compute_arith_expression2(Expr,Info,LS,S,R,WF).

b_compute_arith_expression(Expr,LS,S,R,WF) :-
    add_error(b_compute_arith_expression,'Expression not properly wrapped: ',Expr),
    b_compute_arith_expression2(Expr,unknown,LS,S,R,WF).

b_compute_arith_expression2(unary_minus(Arg1),_I,LocalState,State,Value,WF) :- !,
    b_compute_arith_expression(Arg1,LocalState,State,SV1,WF),
    Value = '-'(SV1).

b_compute_arith_expression2(add(Arg1,Arg2),_I,LocalState,State,Value,WF) :- !,
    b_compute_arith_expression(Arg1,LocalState,State,SV1,WF),
    b_compute_arith_expression(Arg2,LocalState,State,SV2,WF),
    Value = '+'(SV1,SV2).

b_compute_arith_expression2(minus(Arg1,Arg2),_I,LocalState,State,Value,WF) :- !,
    b_compute_arith_expression(Arg1,LocalState,State,SV1,WF),
    b_compute_arith_expression(Arg2,LocalState,State,SV2,WF),
    Value = '-'(SV1,SV2).

b_compute_arith_expression2(multiplication(Arg1,Arg2),_I,LocalState,State,Value,WF) :- !,
    b_compute_arith_expression(Arg1,LocalState,State,SV1,WF),
    b_compute_arith_expression(Arg2,LocalState,State,SV2,WF),
    Value = '*'(SV1,SV2).

b_compute_arith_expression2(Expr,Info,LocalState,State,Value,WF) :-
    b_compute_expression2(Expr,integer,Info,LocalState,State,int(Value),WF).

b_test_arith_equal_boolean_expression(Arg1,Arg2,LocalState,State,WF) :-
    b_compute_arith_expression(Arg1,LocalState,State,CLPFD_Expr1,WF),
    b_compute_arith_expression(Arg2,LocalState,State,CLPFD_Expr2,WF),
    clpfd_eq_expr_optimized(CLPFD_Expr1,CLPFD_Expr2).