[−][src]Crate flatzinc
Structs
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 |
Enums
AnnExpr | |
Annotation | |
BasicParType | |
BasicPredParType | |
BasicVarType | |
BoolExpr | |
Err | The |
ErrorKind | indicates which parser returned an error |
Expr | |
FloatExpr | |
FzStmt | |
Goal | |
IntExpr | |
OptimizationType | |
ParDeclItem | |
ParType | |
PredIndexSet | |
PredParType | |
SetExpr | |
SetLiteral | |
SetLiteralExpr | |
VarDeclItem |
Traits
ParseError | this trait must be implemented by the error type of a nom parser |
Functions
constraint_item | |
convert_error | transforms a |
fz_statement | |
model | |
par_decl_item | |
predicate_item | |
solve_item | |
var_decl_item |
Type Definitions
IResult | Holds the result of parsing functions |