Crate flatzinc

Structs

Annotation
ConstraintItem
IndexSet
Model
PredicateItem
SolveItem
VerboseError	this error type accumulates errors and their position when backtracking through a parse tree. With some post processing (cf examples/json.rs), it can be used to display user friendly error messages

Enums

AnnExpr
ArrayOfBoolExpr
ArrayOfFloatExpr
ArrayOfIntExpr
ArrayOfSetExpr
BasicParType
BasicPredParType
BasicType
BasicVarType
BoolExpr
Err	The Err enum indicates the parser was not successful
ErrorKind	indicates which parser returned an error
Expr
FloatExpr
FzStmt
Goal
IntExpr
OptimizationType
ParDeclItem
ParType
PredIndexSet
PredParType
SetExpr
SetLiteral
SetLiteralExpr
VarDeclItem
VarType

Traits

ParseError

this trait must be implemented by the error type of a nom parser

Functions

constraint_item
convert_error	transforms a VerboseError into a trace with input position information
fz_statement
model
par_decl_item
predicate_item
solve_item
var_decl_item

Type Definitions

IResult

Holds the result of parsing functions