[ 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

- fzn_load_stream(+, -) is semidet

### 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)