Frama-C:
Plug-ins:
Libraries:

Frama-C API - Apron_parser

type token =
  1. | TK_EOF
  2. | TK_VERTEX
  3. | TK_RAY
  4. | TK_LINE
  5. | TK_RAYMOD
  6. | TK_LINEMOD
  7. | TK_SUPEG
  8. | TK_INFEG
  9. | TK_SUP
  10. | TK_INF
  11. | TK_EG
  12. | TK_DISEG
  13. | TK_MOD
  14. | TK_POW of Texpr1.typ * Texpr1.round
  15. | TK_LBRACKET
  16. | TK_RBRACKET
  17. | TK_SEMICOLON
  18. | TK_LPAR
  19. | TK_RPAR
  20. | TK_MUL of Texpr1.typ * Texpr1.round
  21. | TK_ADD of Texpr1.typ * Texpr1.round
  22. | TK_SUB of Texpr1.typ * Texpr1.round
  23. | TK_DIV of Texpr1.typ * Texpr1.round
  24. | TK_MODULO of Texpr1.typ * Texpr1.round
  25. | TK_CAST of Texpr1.typ * Texpr1.round
  26. | TK_SQRT of Texpr1.typ * Texpr1.round
  27. | TK_MPQF of Mpqf.t
  28. | TK_FLOAT of float
  29. | TK_VAR of string
val lincons : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Lincons0.typ * (string * Coeff.t) list
val generator : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Generator0.typ * (string * Coeff.t) list
val linexpr : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> (string * Coeff.t) list
val tcons : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Tcons0.typ * Texpr1.expr
val texpr : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Texpr1.expr