BAP Online Manuals : Library Reference : Library by Name : < , =< , > , >=
Previous: < , =< , > , >=
Next: alloc_server

6.2.6. < , =< , > , >=

predicates for integer evaluation

SYNOPSIS

1 < 3 , 3 =< 3 , 4 >= 2 , <(2,3) , >=(4,2)

SYNTAX

<(Val1,Val2)	(i,i)
Val1 < Val2	(i,i)

=<(Val1,Val2)	(i,i)
Val1 =< Val2	(i,i)	

>(Val1,Val2)	(i,i)
Val1 > Val2	(i,i)

>=(Val1,Val2)	(i,i)
Val1 >= Val2	(i,i)

ARGUMENTS

integer(Val1) (i) integer value a)
integer(Val2) (i) integer value b)

DESCRIPTION

These predicates succeed if the values of the two integers match the indicated inequation.

OPERATOR

These predicates are declared as op(700,xfx,<predicate>)

ERRORS

No runtime errors

LAYERS

client-server

RELATED PREDICATES

= , \= , is


BAP Online Manuals : Library Reference : Library by Name : < , =< , > , >=
Previous: < , =< , > , >=
Next: alloc_server