rust_formal_verification/algorithms/proof/proof_result.rs
1// ************************************************************************************************
2// use
3// ************************************************************************************************
4
5use crate::formulas::{literal::VariableType, CNF};
6
7// ************************************************************************************************
8// struct
9// ************************************************************************************************
10
11#[derive(PartialEq, Eq)]
12pub enum ProofResult {
13 Proof { invariant: CNF },
14 CTX { depth: VariableType },
15}