Crate tptp

A crate for reading files in the TPTP format.

Quickstart

extern crate tptp;
use tptp::prelude::*;

// propagate any errors encountered for handling later
fn example(start: &str) -> Result<(), Error> {

    // configure how to read the TPTP inputs
    // here we just use the defaults
    let reader = ReaderBuilder::new().read(start)?;
     
    // stream TPTP statements
    for statement in reader {

        // reading each statement might involve an error
        let statement = statement?;

        // process each statement as you see fit
        println!("{:?}", statement);
    }

    Ok(())
}

Modules

ast	Syntax trees.
error	Errors that might be raised during processing.
position	Line/column reporting.
prelude	Convenience re-exports.
reader	Reader API.
resolve	Implement custom behaviour for processing include() directives.
util	Utilities, including DefaultResolver.