
fzn_load_stream(+ModelStream, -FznState)

   Load a FlatZinc model and set up its constraints

Arguments
   ModelStream         An ECLiPSe stream name or handle
   FznState            a FlatZinc state descriptor

Type
   library(flatzinc)

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)
