solve/it.unibo.tuprolog.solve.flags/FlagStore/Companion/of

of

fun of(vararg flagValues: Pair<String, Term>): FlagStore

Creates a FlagStore out of the given name-value pairs.

fun of(flags: Map<String, Term>): FlagStore

Creates a FlagStore out of the given flags map.

fun of(vararg notableFlagValues: NotableFlag): FlagStore

Creates a FlagStore setting every one of notableFlagValues to its NotableFlag.defaultValue.