Expand description
A crate for reading files in the FOF dialect of the TPTP format.
Quickstart
extern crate tptp;
// propagate any errors encountered for handling later
fn example() -> Result<(), tptp::error::ErrorWithContext> {
// stream TPTP statements, following include directives
for statement in tptp::stream("example.p")? {
// reading each statement might involve an error
let statement = statement?;
// process each statement as you see fit
println!("{:#?}", statement);
}
Ok(())
}
Modules
Errors that might be raised during processing
Follow include directives
Lexical analysis
Parsing
Line/column reporting
Resolve include() paths according to the TPTP spec
Syntax trees
Lexical tokens
Functions
Convenient API to stream statements, following include directives recursively