Frama-C:
Plug-ins:
Libraries:

Frama-C API - Operators

This module contains all Z operators.

  • since Frama-C+dev
include module type of Compare
val (=) : t -> t -> bool
val (<) : t -> t -> bool
val (>) : t -> t -> bool
val (<=) : t -> t -> bool
val (>=) : t -> t -> bool
val (<>) : t -> t -> bool
val (~-) : t -> t

Negation neg.

val (+) : t -> t -> t

Addition add.

val (-) : t -> t -> t

Subtraction sub.

val (*) : t -> t -> t

Multiplication mul.

val (/) : t -> t -> t

Truncated division div.

val (mod) : t -> t -> t

Remainder rem.

val (land) : t -> t -> t

Bit-wise logical and logand.

val (lor) : t -> t -> t

Bit-wise logical inclusive or logor.

val (lxor) : t -> t -> t

Bit-wise logical exclusive or logxor.

val (~!) : t -> t

Bit-wise logical negation lognot.

val (lsl) : t -> int -> t

Bit-wise shift to the left shift_left.

val (asr) : t -> int -> t

Bit-wise shift to the right shift_right.

val (~$) : int -> t

Conversion from int using of_int.

val (**) : t -> int -> t

Power pow. For coherence, we're using our own pow function, which has a limit. If you want to customize this limit, use the function instead of this operator, or set it via set_pow_exponent_limit.