Searched refs:OpenSquare (Results 1 – 12 of 12) sorted by relevance
| /dports/math/eprover/eprover-E-2.0/INOUT/ |
| H A D | cio_basicparser.c | 494 CheckInpTok(in, OpenBracket|OpenCurly|OpenSquare); in ParseSkipParenthesizedExpr()
499 if(TestInpTok(in, OpenBracket|OpenCurly|OpenSquare)) in ParseSkipParenthesizedExpr()
515 case OpenSquare: in ParseSkipParenthesizedExpr()
|
| H A D | cio_scanner.h | 62 #define OpenSquare (2*CloseCurly) macro
63 #define CloseSquare (2*OpenSquare)
|
| H A D | cio_scanner.c | 49 {OpenSquare, "Opening square brace ('[')"},
379 AktToken(in)->tok = OpenSquare; in scan_token()
1253 CheckInpTok(in, Name|PosInt|OpenSquare); in ScannerParseInclude()
1263 AcceptInpTok(in, OpenSquare); in ScannerParseInclude()
|
| /dports/math/eprover/eprover-E-2.0/PCL2/ |
| H A D | pcl_ministeps.c | 120 else if(TestInpTok(in, OpenSquare)) in PCLMiniStepParse()
|
| H A D | pcl_steps.c | 196 else if(TestInpTok(in, OpenSquare)) in PCLStepParse()
|
| /dports/math/eprover/eprover-E-2.0/TERMS/ |
| H A D | cte_termfunc.h | 48 (FuncSymbStartToken|OpenSquare|Mult): \
|
| H A D | cte_termfunc.c | 102 AcceptInpTok(in, OpenSquare); in parse_cons_list()
418 if(SigSupportLists && TestInpTok(in, OpenSquare)) in TermParse()
|
| H A D | cte_termbanks.c | 221 AcceptInpTok(in, OpenSquare); in tb_parse_cons_list()
1102 if(SigSupportLists && TestInpTok(in, OpenSquare)) in TBTermParseReal()
|
| /dports/devel/libklel/libklel-1.1.0/src/libklel/ |
| H A D | parser.c | 339 KLEL_TOKEN_DEF(OpenSquare)
380 KLEL_CAPTURE_PRODUCTION(OpenSquare, KLEL_EXPECT(KLEL_NODE_OPEN_SQUARE));
|
| /dports/math/eprover/eprover-E-2.0/CLAUSES/ |
| H A D | ccl_tformulae.c | 232 AcceptInpTok(in, OpenSquare); in elem_tform_tptp_parse()
339 AcceptInpTok(in, OpenSquare); in literal_tform_tstp_parse()
|
| H A D | ccl_clauses.c | 1738 AcceptInpTok(in, OpenSquare); in ClauseParse()
1778 CheckInpTok(in, OpenSquare); in ClauseParse()
1873 AcceptInpTok(in, OpenSquare); in ClausePCLParse()
|
| H A D | ccl_formula_wrapper.c | 419 CheckInpTok(in, OpenSquare); in WFormulaTSTPParse()
|