Searched refs:DestroyScanner (Results 1 – 25 of 41) sorted by relevance
12
157 DestroyScanner(in); in main()163 DestroyScanner(in); in main()215 DestroyScanner(in); in main()246 DestroyScanner(in); in main()254 DestroyScanner(in); in main()265 DestroyScanner(in); in main()
137 DestroyScanner(in); in main()146 DestroyScanner(in); in main()153 DestroyScanner(in); in main()209 DestroyScanner(in); in main()
350 DestroyScanner(in); in process_terms()388 DestroyScanner(in); in process_clauses()427 DestroyScanner(in); in process_formulas()497 DestroyScanner(in); in main()
130 DestroyScanner(in); in main()139 DestroyScanner(in); in main()
572 DestroyScanner(in); in process_raw_feature_files()612 DestroyScanner(in); in process_feature_files()871 DestroyScanner(in); in main()
147 DestroyScanner(in); in main()
148 DestroyScanner(in); in main()
143 DestroyScanner(in); in main()
181 DestroyScanner(in); in main()
226 DestroyScanner(in); in main()
210 DestroyScanner(in); in main()
189 DestroyScanner(in); in main()
252 DestroyScanner(in); in main()
173 DestroyScanner(in); in main()
296 DestroyScanner(in); in ExampleSetFromKB()302 DestroyScanner(in); in ExampleSetFromKB()347 DestroyScanner(in); in TSMFromKB()
182 DestroyScanner(in); in FileVarsReadFromFile()360 DestroyScanner(in); in FileVarsGetIdentifier()
187 void DestroyScanner(Scanner_p junk);
86 DestroyScanner(in); in sine_get_filter()486 DestroyScanner(in); in StructFOFSpecParseAxioms()
182 DestroyScanner(job_scanner); in run_command()229 DestroyScanner(axioms_scanner); in add_command()1029 DestroyScanner(in); in StartDeductionServer()
955 DestroyScanner(in); in ProofControlInit()963 DestroyScanner(in); in ProofControlInit()970 DestroyScanner(in); in ProofControlInit()978 DestroyScanner(in); in ProofControlInit()
761 DestroyScanner(in); in BatchProcessFile()951 DestroyScanner(in); in BatchProcessInteractive()
119 DestroyScanner(in); in main()
145 DestroyScanner(in); in main()
133 void DestroyScanner();
198 void DestroyScanner();