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

use crate::{syntax_tree::asp::Program, translating::natural::natural};

pub trait Regularity {
    fn is_regular(&self) -> bool;
}

impl Regularity for Program {
    fn is_regular(&self) -> bool {
        natural(self.clone()).is_some()
    }
}

#[cfg(test)]
mod tests {
    use {super::Regularity, crate::syntax_tree::asp::Program, std::str::FromStr};

    #[test]
    fn test_regularity() {
        for program in ["a.", "p(1 + 2).", "p(1 - 2).", "p(1 * 2).", "p(X..Y)."] {
            assert!(Program::from_str(program).unwrap().is_regular())
        }

        for program in ["p(1 / 2).", "p(1 \\ 2).", "p(X) :- X = (1..X) + Y."] {
            assert!(!Program::from_str(program).unwrap().is_regular())
        }
    }
}