Struct tptp::util::DefaultResolver [−][src]
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
[src]
impl Resolve for DefaultResolver
Auto Trait Implementations
impl Send for DefaultResolver
impl Send for DefaultResolver
impl Sync for DefaultResolver
impl Sync for DefaultResolver