Trait tract_core::model::translator::Translate

pub trait Translate<TI1, O1, TI2, O2>: Debug where
    TI1: Fact + Hash + Clone + 'static,
    TI2: Fact + Hash + Clone + 'static,
    O1: Display + Debug + AsRef<dyn Op> + AsMut<dyn Op> + Clone + 'static + Hash,
    O2: Display + Debug + AsRef<dyn Op> + AsMut<dyn Op> + Clone + 'static + Hash, {
    fn translate_node(
        &self, 
        source: &Graph<TI1, O1>, 
        node: &Node<TI1, O1>, 
        target: &mut Graph<TI2, O2>, 
        mapping: &HashMap<OutletId, OutletId>
    ) -> TractResult<TVec<OutletId>>;

    fn translate_model(
        &self, 
        source: &Graph<TI1, O1>
    ) -> TractResult<Graph<TI2, O2>> { ... }
    fn translate_model_with_mappings(
        &self, 
        source: &Graph<TI1, O1>
    ) -> TractResult<(Graph<TI2, O2>, HashMap<OutletId, OutletId>)> { ... }
}

Required methods

fn translate_node(
    &self,
    source: &Graph<TI1, O1>,
    node: &Node<TI1, O1>,
    target: &mut Graph<TI2, O2>,
    mapping: &HashMap<OutletId, OutletId>
) -> TractResult<TVec<OutletId>>

Provided methods

fn translate_model(
    &self,
    source: &Graph<TI1, O1>
) -> TractResult<Graph<TI2, O2>>

fn translate_model_with_mappings(
    &self,
    source: &Graph<TI1, O1>
) -> TractResult<(Graph<TI2, O2>, HashMap<OutletId, OutletId>)>

Implementors

impl Translate<TypedFact, Box<dyn TypedOp + 'static, Global>, TypedFact, Box<dyn TypedOp + 'static, Global>> for SymbolValues

impl<TI1, O1, TI2, O2, EO, ETI> Translate<TI1, O1, TI2, O2> for IntoTranslator where
    TractError: From<EO> + From<ETI>,
    TI1: Fact + Hash + Clone + 'static,
    TI2: Fact + Hash + for<'a> TryFrom<&'a TI1, Error = EO> + Clone + 'static,
    O1: Display + Debug + Clone + AsRef<dyn Op> + AsMut<dyn Op> + 'static + Hash,
    O2: Display + for<'a> TryFrom<&'a O1, Error = ETI> + Debug + AsRef<dyn Op> + AsMut<dyn Op> + Clone + Hash + 'static,
    Graph<TI2, O2>: SpecialOps<TI2, O2>,