From b5512a1c896464b7c84b60e98d1b342247a06d25 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Wed, 30 Jun 2021 17:13:40 +1000 Subject: [PATCH] Small glossary update --- assets/glossary.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/assets/glossary.tex b/assets/glossary.tex index 50855e4..fd657c8 100644 --- a/assets/glossary.tex +++ b/assets/glossary.tex @@ -488,8 +488,8 @@ \newglossaryentry{slv-mod}{ name={solver model}, description={ - A solver model is a \gls{instance} of a \gls{model} where all \glspl{constraint} and \gls{variable} types are \gls{native} for the targeted \gls{solver}. - \glspl{instance} of \glspl{model} containing non-native \glspl{constraint} and/or \gls{variable} types can be transformed into solver models through the process of \gls{rewriting} + A \gls{instance} of a \gls{model} where all \glspl{constraint} and \gls{variable} types are \gls{native} for the targeted \gls{solver}. + \Glspl{instance} of \glspl{model} containing non-native \glspl{constraint} and/or \gls{variable} types can be transformed into solver models through the process of \gls{rewriting} }, }