diff --git a/25_Outline/sections/20_foundations.tex b/25_Outline/sections/20_foundations.tex index dc4acd7..f2c7e23 100644 --- a/25_Outline/sections/20_foundations.tex +++ b/25_Outline/sections/20_foundations.tex @@ -10,11 +10,11 @@ Formally a configuration problem can be specified as a \emph{constraint satisfac \begin{equation} \label{eq:Foundations:ProductConfiguration:ConstraintSatisfactionProblem} CSP(V,\mathfrak{D},C), \end{equation} -where we have a set of \emph{variables} $V$ with +where we have a set of \emph{variables} $V$ (which in this thesis will also be referred to as \emph{features}) with \begin{equation} \label{eq:Foundations:ProductConfiguration:Variables} V = \{v_1, \dotsc, v_m\}, \end{equation} -a \emph{domain mapping} $\mathfrak{D}$ that maps variable to their corresponding domain values $D$ i.e. the values that can be assigned to each variable +a \emph{domain mapping} $\mathfrak{D}$ that maps variable to their corresponding domain values $D$ (which in this thesis will be also referred to as \emph{characteristics}) i.e. the values that can be assigned to each variable \begin{equation}\label{eq:Foundations:ProductConfiguration:DomainMapping} \mathfrak{D} : V \to D; x \mapsto \mathfrak{D}(x) \qquad where \ D = \{d_1, \dotsc, d_o\}, \end{equation}