eclipseclp/ecrc_solvers/r.pl

6 % in compliance with the License.  You may obtain a copy of the License
241 is_pvar(_{lin with [pvar:Pvar]}) ?-
247 	Attr = lin with [pvar:true].
250 	add_attribute(X, lin with [pvar:true,constr:[]]).
257 	Lin = lin with [],	% Lin = lin(_,_,_)
260 lin_rhs(_{lin with [rhs:Rhs]}, Rhs1) ?-
263 lin_constr(_{lin with [constr:Constr]}, Constr1) ?-
271 	Lin = lin with [constr:OldLocal],
277 linear_term(_{lin with []}) ?-
292 	    Attr = lin with [constr:Constr],
295 	    add_attribute(V, lin with [constr:[]])
300 	get_lin_attr(V, lin with [rhs:Rhs, constr:[]]),
324  	Attr = lin with [rhs:Rhs, constr:Constr],
350 	Attr = lin with [constr:Constr],
361 	Attr = lin with [rhs:Rhs],
418 linear_unify(Val, lin with [dg:DG, rhs:Rhs, constr:Constr, dead:Dead]) :-
479 update(V, lin with [dead:Dead], []) :-
483 update(V, lin with [dead:Dead,pvar:Pvar], [mono(C1,V1)]) :-
754 	    Attr = lin with [rhs:Rhs],
795 	    Attr = lin with [rhs:Rhs],
1026 	    Attr = lin with [constr:_Constr],
1180 % this check could be done with a simple test if the constr-list were
1181 % split into one with positive and one with negative occurrences of the
1501     Attr = lin with [rhs:Rhs],
1512         Attr = lin with [constr:_Constr],
1522         Attr = lin with [rhs:_Rhs]
1709 variable_name_aux(_{lin with [user:User]}, User1) ?-
1736 	    Attr = lin with [rhs:Rhs],
1941 	    Attr = lin with [rhs:Rhs],
2116    inequality with the constraint store for feasibility.
2140 	desc:html("   Determines whether the inequality together with the constraint store
2191    inequality with the constraint store for feasibility.
2215 	desc:html("   Determines whether the inequality together with the constraint store
2236 	summary:"The objective function Func is maximized with respect to a set of
2246    function Func is maximal with respect to the constraints store.
2269 	summary:"The objective function Func is minimized with respect to a set of
2279    function Func is minimal with respect to the constraints store.