Struct tptp::reader::ReaderBuilder

pub struct ReaderBuilder<R> where
    R: Resolve,  { /* fields omitted */ }

Configuration state to build a Reader, parameterized over a Resolve instance.

Methods

impl ReaderBuilder<DefaultResolver>

pub fn new() -> Self

A new builder. By default, use a DefaultResolver and do not follow includes.

impl<R> ReaderBuilder<R> where     R: Resolve,

pub fn use_resolver(self, resolver: R) -> Self

Use a different Resolve implementation

pub fn follow_includes(self) -> Self

Follow include directives, possibly recursively

pub fn read<S>(self, start: S) -> Result<Reader<R>, Error> where     S: Into<String>,

Finalize and create an iterator. This might fail if e.g. the starting stream cannot be opened