[−][src]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::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()); }
Modules
parsers |
|
syntax | Parsed TPTP structures |
visitor | TPTP Visitor trait |