Skip to content

flatzinc version 0.2.2

Compare
Choose a tag to compare
@sthiele sthiele released this 18 May 19:21
· 105 commits to master since this release
  • reexport error types from nom:
VerboseError
ParseError
convert_error
IResult
Err
  • add parsing function for flatzinc statements:
pub enum FzStmt {
    Predicate(PredicateItem),
    Parameter(ParDeclItem),
    Variable(VarDeclItem),
    Constraint(ConstraintItem),
    SolveItem(SolveItem),
}
pub fn fz_statement<'a, E: ParseError<&'a str>>(input: &'a str) -> IResult<&'a str, FzStmt, E> {
...
}