Lines
0 %
Functions
use conjure_cp::ast::Metadata;
use conjure_cp::ast::{Expression, Moo};
use conjure_cp::essence_expr;
use conjure_cp::matrix_expr;
use conjure_cp_core::{domain_int, range};
#[test]
fn test_2plus2() {
let expr = essence_expr!(2 + 2);
assert_eq!(
expr,
Expression::Sum(
Metadata::new(),
Moo::new(matrix_expr![
Expression::Atomic(Metadata::new(), 2.into()),
Expression::Atomic(Metadata::new(), 2.into());
domain_int!(1..)
])
)
);
}
fn test_metavar_const() {
let x = 4;
let expr = essence_expr!(&x + 2);
Expression::Atomic(Metadata::new(), 4.into()),