A crate for reading files in the TPTP format.
Supplies TPTP nom
parsers for maximum flexibility.
Quickstart
use TPTPIterator;
use Visitor;
;
A crate for reading files in the TPTP format.
Supplies TPTP nom
parsers for maximum flexibility.
use tptp::parsers::TPTPIterator;
use tptp::visitor::Visitor;
struct MyVisitor;
impl<'a> Visitor<'a> for MyVisitor {}
fn example(bytes: &[u8]) {
let mut visitor = MyVisitor;
let mut parser = TPTPIterator::<()>::new(bytes);
for input in &mut parser {
let input = input.expect("syntax error");
println!("{}", &input);
visitor.visit_tptp_input(&input);
}
assert!(parser.remaining.is_empty());
}