flatzinc 0.3.21

A FlatZinc parser
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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152

use winnow::{
    combinator::{alt, cut_err},
    error::{AddContext, FromExternalError, ParserError, StrContext},
    PResult, Parser,
};

use crate::{
    comments::{space_or_comment0, space_or_comment1},
    expressions::{
        annotations, bool_expr, float_expr, int_expr, set_expr, Annotations, BoolExpr, FloatExpr,
        IntExpr, SetExpr,
    },
};

#[derive(PartialEq, Clone, Debug)]
pub struct SolveItem {
    pub goal: Goal,
    pub annotations: Annotations,
}

pub fn solve_item<'a, E>(input: &mut &'a str) -> PResult<SolveItem, E>
where
    E: ParserError<&'a str>
        + FromExternalError<&'a str, std::num::ParseIntError>
        + FromExternalError<&'a str, std::num::ParseFloatError>
        + AddContext<&'a str, StrContext>,
{
    space_or_comment0(input)?;
    "solve".parse_next(input)?;
    cut_err(solve_item_tail.context(StrContext::Label("Error while parsing solve statement")))
        .parse_next(input)
}
pub fn solve_item_tail<'a, E>(input: &mut &'a str) -> PResult<SolveItem, E>
where
    E: ParserError<&'a str>
        + FromExternalError<&'a str, std::num::ParseIntError>
        + FromExternalError<&'a str, std::num::ParseFloatError>,
{
    space_or_comment1(input)?;
    let annotations = annotations(input)?;
    space_or_comment0(input)?;
    let goal = alt((
        satisfy,
        optimize_bool,
        optimize_int,
        optimize_float,
        optimize_set,
    ))
    .parse_next(input)?;
    space_or_comment0(input)?;
    ';'.parse_next(input)?;
    space_or_comment0(input)?;
    Ok(SolveItem { goal, annotations })
}
#[test]
fn test_solve_item() {
    use crate::solve_items::{Goal, OptimizationType};
    use crate::{AnnExpr, Annotation, Expr};
    use winnow::error::ContextError;
    let mut input = "solve :: int_search(X_59,input_order,indomain_min,complete) minimize X_24;";
    assert_eq!(
        solve_item::<ContextError>(&mut input),
        Ok(SolveItem {
            goal: Goal::OptimizeBool(
                OptimizationType::Minimize,
                BoolExpr::VarParIdentifier("X_24".to_string())
            ),
            annotations: vec![Annotation {
                id: "int_search".to_string(),
                expressions: vec![
                    AnnExpr::Expr(Expr::VarParIdentifier("X_59".to_string())),
                    AnnExpr::Expr(Expr::VarParIdentifier("input_order".to_string())),
                    AnnExpr::Expr(Expr::VarParIdentifier("indomain_min".to_string())),
                    AnnExpr::Expr(Expr::VarParIdentifier("complete".to_string()))
                ]
            }]
        })
    );
}

#[derive(PartialEq, Clone, Debug)]
pub enum Goal {
    Satisfy,
    OptimizeBool(OptimizationType, BoolExpr),
    OptimizeInt(OptimizationType, IntExpr),
    OptimizeFloat(OptimizationType, FloatExpr),
    OptimizeSet(OptimizationType, SetExpr),
}

#[derive(PartialEq, Clone, Debug)]
pub enum OptimizationType {
    Minimize,
    Maximize,
}

pub fn satisfy<'a, E: ParserError<&'a str>>(input: &mut &'a str) -> PResult<Goal, E> {
    "satisfy".parse_next(input)?;
    Ok(Goal::Satisfy)
}

fn opt_type<'a, E: ParserError<&'a str>>(input: &mut &'a str) -> PResult<OptimizationType, E> {
    alt((minimize, maximize)).parse_next(input)
}

fn minimize<'a, E: ParserError<&'a str>>(input: &mut &'a str) -> PResult<OptimizationType, E> {
    "minimize".parse_next(input)?;
    Ok(OptimizationType::Minimize)
}

fn maximize<'a, E: ParserError<&'a str>>(input: &mut &'a str) -> PResult<OptimizationType, E> {
    "maximize".parse_next(input)?;
    Ok(OptimizationType::Maximize)
}

pub fn optimize_bool<'a, E: ParserError<&'a str>>(input: &mut &'a str) -> PResult<Goal, E> {
    let opt_type = opt_type(input)?;
    space_or_comment1(input)?;
    let be = bool_expr(input)?;
    Ok(Goal::OptimizeBool(opt_type, be))
}

pub fn optimize_int<'a, E>(input: &mut &'a str) -> PResult<Goal, E>
where
    E: ParserError<&'a str> + FromExternalError<&'a str, std::num::ParseIntError>,
{
    let opt_type = opt_type(input)?;
    space_or_comment1(input)?;
    let be = int_expr(input)?;
    Ok(Goal::OptimizeInt(opt_type, be))
}

pub fn optimize_float<'a, E>(input: &mut &'a str) -> PResult<Goal, E>
where
    E: ParserError<&'a str> + FromExternalError<&'a str, std::num::ParseFloatError>,
{
    let opt_type = opt_type(input)?;
    space_or_comment1(input)?;
    let be = float_expr(input)?;
    Ok(Goal::OptimizeFloat(opt_type, be))
}

pub fn optimize_set<'a, E>(input: &mut &'a str) -> PResult<Goal, E>
where
    E: ParserError<&'a str>
        + FromExternalError<&'a str, std::num::ParseIntError>
        + FromExternalError<&'a str, std::num::ParseFloatError>,
{
    let opt_type = opt_type(input)?;
    space_or_comment1(input)?;
    let be = set_expr(input)?;
    Ok(Goal::OptimizeSet(opt_type, be))
}