Commit c009188a authored by Bruno Guillaume's avatar Bruno Guillaume
Browse files

Fix global patterns

parent 3e5e76b7
......@@ -47,25 +47,8 @@
</div>
<div class="tab-pane" id="step4">
On dependency trees:
<ul>
<li><a href="#" snippet-file="../snippets_global/projective.pat" class="inter">Select projective trees</a></li>
<li><a href="#" snippet-file="../snippets_global/not_projective.pat" class="inter">Select non projective trees</a></li>
</ul>
On graph structures:
<ul>
<li><a href="#" snippet-file="../snippets_global/cyclic.pat" class="inter">Select cyclic graphs</a></li>
<li><a href="#" snippet-file="../snippets_global/not_cyclic.pat" class="inter">Select non cyclic graphs</a></li>
<li><a href="#" snippet-file="../snippets_global/tree.pat" class="inter">Select trees</a></li>
<li><a href="#" snippet-file="../snippets_global/not_tree.pat" class="inter">Select graphs which are not trees</a></li>
<li><a href="#" snippet-file="../snippets_global/forest.pat" class="inter">Select forests</a></li>
<li><a href="#" snippet-file="../snippets_global/not_forest.pat" class="inter">Select graphs which are not forests</a></li>
</ul>
</div>
<div class="tab-pane" id="step4">
<ul>
<li><a href="#" snippet-file="../snippets_global/non_projective.pat" class="inter">Search for non projective structures</a></li>
<li><a href="#" snippet-file="../snippets_global/not_projective.pat" class="inter">Search for non projective structures</a></li>
<li><a href="#" snippet-file="../snippets_global/projective.pat" class="inter">Search for projective structures</a></li>
<li><a href="#" snippet-file="../snippets_global/other.pat" class="inter">Other global constraints</a></li>
<li><a href="#" snippet-file="../snippets_global/combined.pat" class="inter">Global constraints can be combined with other clauses</a></li>
......
......@@ -47,25 +47,8 @@
</div>
<div class="tab-pane" id="step4">
On dependency trees:
<ul>
<li><a href="#" snippet-file="../snippets_global/projective.pat" class="inter">Select projective trees</a></li>
<li><a href="#" snippet-file="../snippets_global/not_projective.pat" class="inter">Select non projective trees</a></li>
</ul>
On graph structures:
<ul>
<li><a href="#" snippet-file="../snippets_global/cyclic.pat" class="inter">Select cyclic graphs</a></li>
<li><a href="#" snippet-file="../snippets_global/not_cyclic.pat" class="inter">Select non cyclic graphs</a></li>
<li><a href="#" snippet-file="../snippets_global/tree.pat" class="inter">Select trees</a></li>
<li><a href="#" snippet-file="../snippets_global/not_tree.pat" class="inter">Select graphs which are not trees</a></li>
<li><a href="#" snippet-file="../snippets_global/forest.pat" class="inter">Select forests</a></li>
<li><a href="#" snippet-file="../snippets_global/not_forest.pat" class="inter">Select graphs which are not forests</a></li>
</ul>
</div>
<div class="tab-pane" id="step4">
<ul>
<li><a href="#" snippet-file="../snippets_global/non_projective.pat" class="inter">Search for non projective structures</a></li>
<li><a href="#" snippet-file="../snippets_global/not_projective.pat" class="inter">Search for non projective structures</a></li>
<li><a href="#" snippet-file="../snippets_global/projective.pat" class="inter">Search for projective structures</a></li>
<li><a href="#" snippet-file="../snippets_global/other.pat" class="inter">Other global constraints</a></li>
<li><a href="#" snippet-file="../snippets_global/combined.pat" class="inter">Global constraints can be combined with other clauses</a></li>
......
......@@ -47,25 +47,8 @@
</div>
<div class="tab-pane" id="step4">
On dependency trees:
<ul>
<li><a href="#" snippet-file="../snippets_global/projective.pat" class="inter">Select projective trees</a></li>
<li><a href="#" snippet-file="../snippets_global/not_projective.pat" class="inter">Select non projective trees</a></li>
</ul>
On graph structures:
<ul>
<li><a href="#" snippet-file="../snippets_global/cyclic.pat" class="inter">Select cyclic graphs</a></li>
<li><a href="#" snippet-file="../snippets_global/not_cyclic.pat" class="inter">Select non cyclic graphs</a></li>
<li><a href="#" snippet-file="../snippets_global/tree.pat" class="inter">Select trees</a></li>
<li><a href="#" snippet-file="../snippets_global/not_tree.pat" class="inter">Select graphs which are not trees</a></li>
<li><a href="#" snippet-file="../snippets_global/forest.pat" class="inter">Select forests</a></li>
<li><a href="#" snippet-file="../snippets_global/not_forest.pat" class="inter">Select graphs which are not forests</a></li>
</ul>
</div>
<div class="tab-pane" id="step4">
<ul>
<li><a href="#" snippet-file="../snippets_global/non_projective.pat" class="inter">Search for non projective structures</a></li>
<li><a href="#" snippet-file="../snippets_global/not_projective.pat" class="inter">Search for non projective structures</a></li>
<li><a href="#" snippet-file="../snippets_global/projective.pat" class="inter">Search for projective structures</a></li>
<li><a href="#" snippet-file="../snippets_global/other.pat" class="inter">Other global constraints</a></li>
<li><a href="#" snippet-file="../snippets_global/combined.pat" class="inter">Global constraints can be combined with other clauses</a></li>
......
......@@ -38,7 +38,7 @@
<div class="tab-pane" id="step4">
<ul>
<li><a href="#" snippet-file="../snippets_global/non_projective.pat" class="inter">Search for non projective structures</a></li>
<li><a href="#" snippet-file="../snippets_global/not_projective.pat" class="inter">Search for non projective structures</a></li>
<li><a href="#" snippet-file="../snippets_global/projective.pat" class="inter">Search for projective structures</a></li>
<li><a href="#" snippet-file="../snippets_global/other.pat" class="inter">Other global constraints</a></li>
<li><a href="#" snippet-file="../snippets_global/combined.pat" class="inter">Global constraints can be combined with other clauses</a></li>
......
% global filtering which keeps only graphs with a cycle
global { is_cyclic }
% global filtering which keeps only forests
global { is_forest }
% global filtering which keeps only graphs without any cycle
global { is_not_cyclic }
% global filtering which keeps only graphs which are not forests
global { is_not_forest }
% global filtering which keeps only graph which are not trees
global { is_not_tree }
% global filtering which keeps only trees
global { is_tree }
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