Distribution.Solver.Modular.Flag

Flag info. Default value, whether the flag is manual, and whether the flag is weak. Manual flags can only be set explicitly. Weak flags are typically deferred by the solver.

Flag identifier. Just a string.

Flag defaults.

Flag name. Consists of a package instance and the flag identifier itself.

Qualified flag name.

Qualified stanza name.

Stanza identifier.

Stanza name. Paired with a package name, much like a flag.

A property of flag and stanza choices that determines whether the choice should be deferred in the solving process.

A choice is called weak if we do want to defer it. This is the case for flags that should be implied by what's currently installed on the system, as opposed to flags that are used to explicitly enable or disable some functionality.

A choice is called trivial if it clearly does not matter. The special case of triviality we actually consider is if there are no new dependencies introduced by the choice.

Value shown for a flag in a solver log message. The message can refer to only the true choice, only the false choice, or both choices.

String representation of a flag-value pair.