anthem 2.0.0-rc.1

A command-line application for assisting in the verification of answer set programs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

use crate::syntax_tree::fol::Formula;

use self::fol::UnboxedFormula;

pub mod fol;

pub trait Unbox {
    type Unboxed;

    fn unbox(self) -> Self::Unboxed;
}

impl Unbox for Formula {
    type Unboxed = UnboxedFormula;

    fn unbox(self) -> UnboxedFormula {
        match self {
            Self::AtomicFormula(f) => UnboxedFormula::AtomicFormula(f),
            Self::UnaryFormula {
                connective,
                formula,
            } => UnboxedFormula::UnaryFormula {
                connective,
                formula: *formula,
            },
            Self::BinaryFormula {
                connective,
                lhs,
                rhs,
            } => UnboxedFormula::BinaryFormula {
                connective,
                lhs: *lhs,
                rhs: *rhs,
            },
            Self::QuantifiedFormula {
                quantification,
                formula,
            } => UnboxedFormula::QuantifiedFormula {
                quantification,
                formula: *formula,
            },
        }
    }
}