[−][src]Crate tptp
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
syntax | Parsed syntactic structures |
Structs
SyntaxError | A syntax error (or an unsupported feature) occurred |
Functions
parse | Parse a byte slice, returning an iterator over the statements within. |
resolve_include | Resolve a TPTP include directive to a |