
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 by the model's output annotations.  If no output
	annotations were given, no variable bindings will be printed.
	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
