< , =< , > , >=
BAP Online Manuals : Library
Reference : Library by Name
: < , =< , > , >=
Previous: < , =< , > , >=
Next: alloc_server
BAP Online Manuals : Library Reference : Library by Name : < , =< , > , >=
Previous: < , =< , > , >=
Next: alloc_server
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
BAP Online Manuals : Library Reference : Library by Name : < , =< , > , >=
Previous: < , =< , > , >=
Next: alloc_server