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 File.