package dolmen

  1. Overview
  2. Docs

Source file tokens.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

type token = 
  | UNDERSCORE
  | SYMBOL of (string)
  | STR of (string)
  | SET_OPTION
  | SET_LOGIC
  | SET_INFO
  | RESET_ASSERTIONS
  | RESET
  | PUSH
  | POP
  | PAR
  | OPEN
  | NUM of (string)
  | MATCH
  | LET
  | KEYWORD of (string)
  | HEX of (string)
  | GET_VALUE
  | GET_UNSAT_CORE
  | GET_UNSAT_ASSUMPTIONS
  | GET_PROOF
  | GET_OPTION
  | GET_MODEL
  | GET_INFO
  | GET_ASSIGNMENT
  | GET_ASSERTIONS
  | FORALL
  | EXIT
  | EXISTS
  | EOF
  | ECHO
  | DEFINE_SORT
  | DEFINE_FUN_REC
  | DEFINE_FUNS_REC
  | DEFINE_FUN
  | DECLARE_SORT
  | DECLARE_FUN
  | DECLARE_DATATYPES
  | DECLARE_DATATYPE
  | DECLARE_CONST
  | DEC of (string)
  | CLOSE
  | CHECK_SAT_ASSUMING
  | CHECK_SAT
  | BIN of (string)
  | ATTRIBUTE
  | ASSERT
  | AS