Crate tptp

A crate for reading files in the TPTP format. Supplies TPTP nom parsers for maximum flexibility.

Quickstart

use tptp::parsers::TPTPIterator;
use tptp::syntax::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());
}

Modules

parsers	nom parsers corresponding to TPTP BNF
syntax	Parsed TPTP structures