Trait ReasonerPlugin 

pub trait ReasonerPlugin: Send + Sync {
    // Required methods
    fn id(&self) -> &str;
    fn classify(
        &self,
        catalog: &OntologyCatalog,
        workspace: &Path,
    ) -> ReasonerProviderResult;
}

Required Methods

fn id(&self) -> &str

fn classify( &self, catalog: &OntologyCatalog, workspace: &Path, ) -> ReasonerProviderResult

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors