dolmen.std
Const.Real
A module for real constant symbols that occur in terms.
dolmen
dolmen.ae
dolmen.class
dolmen.dimacs
dolmen.icnf
dolmen.intf
dolmen.line
dolmen.smtlib2
dolmen.tptp
dolmen.zf
dolmen_smtlib2_poly
dolmen_smtlib2_v6
dolmen_smtlib2_v6_response
dolmen_smtlib2_v6_script
dolmen_tptp_v6_3_0
val real : string -> t
Real literals.
val minus : t
Real unary minus/negation.
val add : t
Real addition.
val sub : t
Real subtraction.
val mul : t
Real multiplication.
val pow : t
Real exponentiation.
val div : t
Real division.
val div_e : t
Real euclidian division quotient.
val div_t : t
Truncation of the real division.
val div_f : t
Floor of the real divison.
val div_zero : t
Real division by zero.
val rem_e : t
Real euclidian division remainder.
val rem_t : t
Remainder of the real division.
val rem_f : t
Floor of the real division.
val rem_zero : t
Real modulo zero.
val lt : t
Real "less than" comparison.
val le : t
Real "less or equal" comparison.
val gt : t
Real "greater than" comparison.
val ge : t
Real "greater or equal" comparison.
val floor : t
Real floor function.
val floor_to_int : t
Real floor to integer function.
val ceiling : t
Real ceiling function.
val truncate : t
Real truncation function.
val round : t
Real rounding function.
val is_int : t
Integer testing.
val is_rat : t
Rationality testing.