[ 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

- 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