
fzn_output(+FznState)

   Perform a FlatZinc model's output actions

Arguments
   FznState            a FlatZinc state descriptor

Type
   library(flatzinc)

Description

	Assuming that a FlatZinc model has previously been set up
	and solved, this predicate will perform the output actions
	specified in the model's output item.  If no output item
	was specified, a default output will be generated, consisting
	of the display of values of all model variables in input order.
	In addition, statistics information will be printed to the
	log_output stream.
    

Modes and Determinism
   fzn_output(+) is det

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_load_stream / 2, fzn_search / 1
