Attention une mise à jour du service Gitlab va être effectuée le mardi 18 janvier (et non lundi 17 comme annoncé précédemment) entre 18h00 et 18h30. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes.

Commit 53c67a0d authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Document [state_has_default_reduction].

parent 5a3903d4
...@@ -2527,16 +2527,20 @@ a pair of twice the initial position that was passed as an argument ...@@ -2527,16 +2527,20 @@ a pair of twice the initial position that was passed as an argument
to \verb+main+. to \verb+main+.
%% val has_default_reduction %% val has_default_reduction
%% val state_has_default_reduction
\begin{verbatim} \begin{verbatim}
val env_has_default_reduction: 'a env -> bool val env_has_default_reduction: 'a env -> bool
val state_has_default_reduction: _ lr1state -> bool
\end{verbatim} \end{verbatim}
The function \verb+env_has_default_reduction+ When applied to an environment \verb+env+ taken from a checkpoint of the form
tells whether the parser is about to perform a default reduction. \verb+AboutToReduce (env, prod)+, the function
In particular, when applied to an environment \verb+env+ taken from a result of \verb+env_has_default_reduction+ tells whether the reduction that is about to
the form \verb+AboutToReduce (env, prod)+, it tells whether the reduction take place is a default reduction.
that is about to take place is a default reduction.
\verb+state_has_default_reduction s+ tells whether the state \verb+s+ has a default
reduction. This includes the case where \verb+s+ is an accepting state.
% ------------------------------------------------------------------------------ % ------------------------------------------------------------------------------
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment