Settings

The flags of an arg2p solver: those its libraries declare (ArgsFlag), checked by the Prolog code through setting/1 (whether a switch is on) and setting/2 (the values of a flag); checking a flag no library declares, or a switch for its values (and the other way round), raises a domain error.

Their values are a view over the facts of the libraries (the settings of the solver, as FlagsBuilder states them) and those of the theory, through the profile of the theory (graphBuildMode, see Profiles): for each flag, the theory states its values, or else the settings of the solver if they differ from the default of the flag, or else the profile, or else the settings of the solver. A flag is stated with no value by Flag(none) (no graph extension, say), a switch stated off by Switch(off): so a theory clears what its profile presets.