[ library(flatzinc) | Reference Manual | Alphabetic Index ]

fzn_load_stream(+ModelStream, -FznState)

Load a FlatZinc model and set up its constraints
ModelStream
An ECLiPSe stream name or handle
FznState
a FlatZinc state descriptor

Description

Load a FlatZinc model and set up its constraints. The options that were used in fzn_init/2 will be taken into account. If fzn_load_stream/2 succeeds, all constraints have been successfully set up, and the search phase can begin.

This predicate will always close ModelStream on success, failure or abort.

Modes and Determinism

Fail Conditions

Fails if any constraint fails during setup

Examples

    my_fzn_run_stream(ModelStream, Options) :-
	fzn_init(Options, State),
	fzn_load_stream(ModelStream, State),
	fzn_search(State),
	fzn_output(State).

See Also

fzn_init / 2, fzn_search / 1, fzn_output / 1, fzn_var_lookup / 3, struct(zn_options)