From 6be89e25c3d27df5eb79c077ba73f52e2048d3a1 Mon Sep 17 00:00:00 2001 From: Carlo Zancanaro Date: Wed, 21 Nov 2012 19:56:50 +1100 Subject: Thesis writing! Yum yum! --- tex/thesis/contribution/contribution.tex | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'tex/thesis/contribution/contribution.tex') diff --git a/tex/thesis/contribution/contribution.tex b/tex/thesis/contribution/contribution.tex index 3e3ed6c..48a5e73 100644 --- a/tex/thesis/contribution/contribution.tex +++ b/tex/thesis/contribution/contribution.tex @@ -80,11 +80,12 @@ a few terms and notations. We will assume a fixed, finite set $X$ of variables. We will also define $\CZ = \Z \cup \{-\infty, \infty\}$. \begin{definition} - A \textbf{variable assignment} is a partial function, $\rho: X \to - \CZ$ that maps variables to values. The domain of a variable - assignment, $\rho$, is represented by $\mathsf{domain}(\rho) - \subseteq X$. An underlined value, $\underline{a}$, indicates a - variable assignment $\{ x \mapsto a \mid \forall x \in X \}$. + A \textbf{variable assignment} is a partial function, $\rho: + X \leadsto \CZ$ that maps variables to values. The domain of a + variable assignment, $\rho$, is represented by + $\mathsf{domain}(\rho) \subseteq X$. An underlined value, + $\underline{a}$, indicates a variable assignment $\{ x \mapsto + a \mid \forall x \in X \}$. Variable assignments $\rho : X \to \CZ$ and $\varrho : X \to \CZ$ may be composed with the $\oplus$ operator as follows: -- cgit v1.2.3