diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-04-30 11:30:50 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-04-30 11:30:50 +0200 |
| commit | da2ad7430815bcf2e4b9ae85c98b657b73e10749 (patch) | |
| tree | 3d18c64b1a011e2f7786c0ed262f6dfc53344eda /paper/method.tex | |
| parent | ca587416e17b82f3816f187ead5b186f5c1bc126 (diff) | |
… to silence publisher warnings.
Diffstat (limited to 'paper/method.tex')
| -rw-r--r-- | paper/method.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/paper/method.tex b/paper/method.tex index c2c828f..1bc345d 100644 --- a/paper/method.tex +++ b/paper/method.tex @@ -81,11 +81,11 @@ When generating a hint from positive rules, we consider all \emph{partially matc For example, if we find the following missing pattern for an incorrect program implementing the \code{sister} predicate: \begin{Verbatim}[fontfamily=sf] -(clause (head (compound (functor ‘\code{sister}’) (args var))) (binop var ‘\code{\textbackslash{}=}’))\textrm{,} +(clause (head (compound (functor ‘\code{sister}’) (args var))) (binop var ‘\code{\textrm{\textbackslash{}}=}’))\textrm{,} \end{Verbatim} \noindent -we could display a message to the student saying “comparison between \code{X} and some other value is missing”, or “your program is missing the goal \code{X} \code{\textbackslash{}=} \code{?}”. +we could display a message to the student saying “comparison between \code{X} and some other value is missing”, or “your program is missing the goal \code{X} \code{\textrm{\textbackslash{}}=} \code{?}”. This method can find several missing patterns for a given partial program. In such cases we return the most commonly occurring pattern as the main hint, and other candidate patterns as alternative hints. We use main and alternative intent hints to establish the upper and lower bounds when evaluating hints. @@ -93,4 +93,4 @@ This method can find several missing patterns for a given partial program. In su %%% Local Variables: %%% mode: latex %%% TeX-master: "aied2017" -%%% End:
\ No newline at end of file +%%% End: |