solve/it.unibo.tuprolog.solve/SolverBuilder/inputs

inputs

abstract fun inputs(inputs: InputStore): SolverBuilder

Fluent setter for inputs.

abstract var inputs: InputStore

The it.unibo.tuprolog.solve.channel.InputStore the built solver will start with.