[Group Index|Full Index]
ECLiPSe Libraries: r
- ?T1 $< ?T2
-
Holds iff the the rational term T1 is strictly less than the rational term
T2.
- ?T1 $<= ?T2
-
Holds iff the the rational term T1 is less than or equal to the rational
term T2.
- ?T1 $<> ?T2
-
Holds iff the the rational term T1 is different from the rational term T2.
- ?T1 $= ?T2
-
Holds iff the rational T1 is equal to the rational term T2.
- ?T1 $> ?T2
-
Holds iff the the rational term T1 is strictly greater than the rational
term T2.
- ?T1 $>= ?T2
-
Holds iff the the rational term T1 is greater than or equal to the rational
term T2.
- rmax(?Func)
-
The objective function Func is maximized with respect to a set of
constraints in normal form.
- rmin(?Func)
-
The objective function Func is minimized with respect to a set of
constraints in normal form.