[ library(flatzinc) | 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 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