Up – Package index » doc » Sources » dolmen.dimacs » tokens.ml

Source file `tokens.ml`

doc
- CHANGES
- README
- Library dolmen
  - Dolmen
- Library dolmen.ae
  - Dolmen_ae
- Library dolmen.class
  - Dolmen_class
- Library dolmen.dimacs
  - Dolmen_dimacs
- Library dolmen.icnf
  - Dolmen_icnf
- Library dolmen.intf
  - Dolmen_intf
- Library dolmen.line
  - Dolmen_line
- Library dolmen.smtlib2
  - Dolmen_smtlib2
- Library dolmen.std
  - Dolmen_std
- Library dolmen.tptp
  - Dolmen_tptp
- Library dolmen.zf
  - Dolmen_zf
- Library dolmen_smtlib2_poly
  - Dolmen_smtlib2_poly
- Library dolmen_smtlib2_v6
  - Dolmen_smtlib2_v6
- Library dolmen_smtlib2_v6_response
  - Dolmen_smtlib2_v6_response
- Library dolmen_smtlib2_v6_script
  - Dolmen_smtlib2_v6_script
- Library dolmen_tptp_v6_3_0
  - Dolmen_tptp_v6_3_0
- Sources
  - dolmen
    - dolmen.ml
  - dolmen.ae
  - dolmen.class
  - dolmen.dimacs
  - dolmen.icnf
  - dolmen.intf
  - dolmen.line
  - dolmen.smtlib2
    - dolmen_smtlib2.ml
  - dolmen.std
  - dolmen.tptp
    - dolmen_tptp.ml
  - dolmen.zf
  - dolmen_smtlib2_poly
  - dolmen_smtlib2_v6
    - dolmen_smtlib2_v6.ml
  - dolmen_smtlib2_v6_response
  - dolmen_smtlib2_v6_script
  - dolmen_tptp_v6_3_0

1
2
3
4
5
6
7
8

type token = 
  | ZERO
  | P
  | NEWLINE
  | INT of (int)
  | EOF
  | CNF