use std::fmt::Debug;
use anyhow::Result;
use crate::fst_properties::FstProperties;
use crate::semirings::Semiring;
use crate::{StateId, TrsVec};
pub trait FstOp<W: Semiring>: Debug {
fn compute_start(&self) -> Result<Option<StateId>>;
fn compute_trs(&self, id: usize) -> Result<TrsVec<W>>;
fn compute_final_weight(&self, id: StateId) -> Result<Option<W>>;
fn properties(&self) -> FstProperties;
}