[−][src]Crate tptp
A crate for reading files in the TPTP format.
Supplies TPTP nom
parsers for maximum flexibility.
Quickstart
use tptp::parsers::tptp_input_or_eof; fn example(bytes: &[u8]) { let mut position = bytes; loop { let (next, statement) = tptp_input_or_eof(position).expect("parse error"); // EOF if statement.is_none() { break; } else { // process `statement` as you see fit } position = next; } }
Modules
parsers |
|
resolve | Resolve |
syntax | Parsed TPTP structures |