<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<title>Struct template matches</title>
<link rel="stylesheet" href="../../../../doc/src/boostbook.css" type="text/css">
-<meta name="generator" content="DocBook XSL Stylesheets V1.76.1">
+<meta name="generator" content="DocBook XSL Stylesheets V1.78.1">
<link rel="home" href="../../index.html" title="The Boost C++ Libraries BoostBook Documentation Subset">
<link rel="up" href="../../proto/reference.html#header.boost.proto.matches_hpp" title="Header <boost/proto/matches.hpp>">
<link rel="prev" href="vararg.html" title="Struct template vararg">
<span class="keyword">struct</span> <a class="link" href="matches.html" title="Struct template matches">matches</a> <span class="special">:</span> <span class="keyword"></span> mpl::bool_<<em class="replaceable"><code>true-or-false</code></em>> <span class="special">{</span>
<span class="special">}</span><span class="special">;</span></pre></div>
<div class="refsect1">
-<a name="id2818474"></a><h2>Description</h2>
+<a name="idp376669648"></a><h2>Description</h2>
<p>
<code class="computeroutput">proto::matches<Expr, Grammar></code> inherits from
<code class="computeroutput">mpl::true_</code> if
<p>
Non-terminal expressions are matched against a grammar according to the following rules:
</p>
-<div class="itemizedlist"><ul class="itemizedlist" type="disc">
+<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem"><p>
The wildcard pattern, <code class="computeroutput">
<a class="link" href="_.html" title="Struct _">proto::_</a>
<a class="link" href="if_.html" title="Struct template if_">proto::if_</a><T,U,V>
</code> if:
</p>
-<div class="itemizedlist"><ul class="itemizedlist" type="circle">
+<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: circle; ">
<li class="listitem">
<code class="computeroutput">
boost::result_of<<a class="link" href="when.html" title="Struct template when">proto::when</a><<a class="link" href="_.html" title="Struct _">proto::_</a>,T>(E)>::type::value
if <code class="computeroutput">BT</code> is <code class="computeroutput"><a class="link" href="_.html" title="Struct _">proto::_</a></code>
or <code class="computeroutput">AT</code> and one of the following is true:
</p>
-<div class="itemizedlist"><ul class="itemizedlist" type="disc">
+<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem"><p>
<code class="computeroutput">B</code> is the wildcard pattern,
<code class="computeroutput">
A type <code class="computeroutput">B</code> <em class="replaceable"><code>lambda-matches</code></em>
<code class="computeroutput">A</code> if one of the following is true:
</p>
-<div class="itemizedlist"><ul class="itemizedlist" type="disc">
+<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem"><p>
<code class="computeroutput">B</code> is <code class="computeroutput">A</code>
</p></li>