Struct tptp::util::DefaultResolver

pub struct DefaultResolver;

The default Resolve instance. Behaviour is like that of many existing ATP systems. Paths are resolved as either absolute paths or relative to the current directory.

Trait Implementations

impl Resolve for DefaultResolver

type Source = LocalFile

An iterator over ASCII bytes

fn resolve<S>(&mut self, input: S) -> Result<Self::Source> where     S: Into<String>,

Resolve an included path into an iterator. Fail with an IO error if necessary.