Expand description
A crate for reading files in the TPTP format.
Quickstart
fn example(bytes: &[u8]) {
// stream TPTP statements
for statement in tptp::parse(bytes) {
// reading each statement might involve an error
let statement = statement.expect("parse error");
// process each statement as you see fit
println!("{:#?}", statement);
}
}
Modules
Parsed syntactic structures
Structs
A syntax error (or an unsupported feature) occurred
Functions
Parse a byte slice, returning an iterator over the statements within.
Resolve a TPTP include directive to a stream of bytes