Home
last modified time | relevance | path

Searched refs:ScannerParseInclude (Results 1 – 3 of 3) sorted by relevance

/dports/math/eprover/eprover-E-2.0/INOUT/
H A Dcio_scanner.h226 Scanner_p ScannerParseInclude(Scanner_p in, StrTree_p *name_selector,
H A Dcio_scanner.c1219 Scanner_p ScannerParseInclude(Scanner_p in, StrTree_p *name_selector, in ScannerParseInclude() function
/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_formulafunc.c725 new_in = ScannerParseInclude(in, &new_limit, skip_includes); in FormulaAndClauseSetParse()