Macro domain_int 

macro_rules! domain_int {
    () => { ... };
    ($($e:expr),+ $(,)?) => { ... };
}

Creates a Domain::Int.

Examples

use conjure_cp_core::{domain_int,range,ast::Domain};

let a = 2*10;
assert_eq!(domain_int!(1..5,a+2,), Domain::int(vec![range!(1..5),range!(a+2)]));
assert_eq!(domain_int!(), Domain::int_ground(vec![]))