[ library(flatzinc) | Third Party Libraries | Reference Manual | Alphabetic Index ]

fzn_output(+FznState)

Perform a FlatZinc model's output actions
FznState
a FlatZinc state descriptor

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

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