core_rust/core/abstraction/
errors.rs

1use thiserror::Error;
2
3#[derive(Debug, Error)]
4pub enum AbstractionError {
5    #[error("I/O error during abstraction: {0}")]
6    Io(#[from] std::io::Error),
7
8    #[error("Failed to parse cache JSON: {0}")]
9    Json(#[from] serde_json::Error),
10
11    #[error("Homomorphism computation failed due to error: {error:?}")]
12    Computation { error: String },
13
14    #[error("BFS exhausted and no solution to the world found")]
15    BFSExhausted,
16}