Logic States and Rule Variables

During a configuration session, the configurator engine attempts to narrow the possible domain of valid values for nodes of a model. You define the outer bounds of the domain by defining nodes to have a minimum and maximum value.

A variable that has neither been selected nor excluded from a configuration at run time has a logic state of Unbound. A variable is unbound when its domain is open, which means that either a value hasn't been assigned or the set of its members hasn't been finalized. Variables may be unbound because the end user hasn't yet made a selection, entered a value, or run Finish and Review (autocompletion).

At run time, the value of the SelectionState and DetailedSelectionState system attributes is Selectable for options that are neither selected nor excluded from a configuration.

Options may also be excluded from a configuration by Defaults or Search Decisions, or by autocompletion.