[ Reference Manual | Alphabetic Index ]

library(flatzinc_parser)

A parser for FlatZinc   [more]

Predicates

read_item(+Stream, -Item)
Read one item from a FlatZinc input stream

Description

A parser for FlatZinc, based on 'Specification of FlatZinc' (Nov 7 2007). It reads and returns one item at a time, as an ECLiPSe structure which closely resembles the FZ input.

For FlatZinc, it seems an item-wise parser is a good idea, since the items can be processed one at a time by ECLiPSe to set up the model.

About

See Also

library(flatzinc_syntax)
Generated from flatzinc_parser.eci on 2017-09-08 15:30