📄 jshop2tokentypes.txt
字号:
// $ANTLR 2.7.2: JSHOP2.g -> JSHOP2TokenTypes.txt$JSHOP2 // output token vocab nameLP=4DEFPROBLEM="defproblem"=5ID=6RP=7NIL="nil"=8DEFDOMAIN="defdomain"=9METHOD=10OPERATOR=11OPID=12VARID=13PROTECTION=14FORALL="forall"=15AXIOM=16UNORDERED=17IMMEDIATE=18FIRST=19SORT=20AND="and"=21OR="or"=22NOT="not"=23IMPLY="imply"=24ASSIGN="assign"=25CALL="call"=26NUM=27DOT=28DIV=29EQUAL=30LESS=31LESSEQ=32MEMBER="member"=33MINUS=34MORE=35MOREEQ=36MULT=37NOTEQ=38PLUS=39POWER=40DEFPROBLEMSET="def-problem-set"=41STDLIB="stdlib"=42WS=43COMMENT=44
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -