flag

abstract fun flag(name: String, value: Term): SolverBuilder

Sets the flag named name within flags to value.

Sets the flag identified by flag's first component within flags to its second component.

Sets flag within flags to its default term value (NotableFlag.defaultTerm).

Sets flag within flags to value.

abstract fun <T : NotableFlag> flag(flag: T, value: T.() -> Term): SolverBuilder

Sets flag within flags to the Term computed by value, applied to flag itself.