Crate tptp[−][src]
A crate for reading files in the FOF dialect of the TPTP format.
Quickstart
extern crate tptp; use tptp::prelude::*; // propagate any errors encountered for handling later fn example(start: &str) -> Result<(), Error> { // configure how to read the TPTP inputs // here we just use the defaults let reader = ReaderBuilder::new().read(start)?; // stream TPTP statements for statement in reader { // reading each statement might involve an error let statement = statement?; // process each statement as you see fit println!("{}", statement); } Ok(()) }
Modules
ast |
Syntax trees. |
error |
Errors that might be raised during processing. |
position |
Line/column reporting. |
prelude |
Convenience re-exports. |
reader |
|
resolve |
Implement custom behaviour for processing include() directives. |
util |
Utilities, including |