From 387443faeabf8e8a2d17a4ba88511b72622da4fb Mon Sep 17 00:00:00 2001 From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz> Date: Fri, 5 Aug 2016 14:58:01 +0200 Subject: [PATCH] sample nonlinear tree pattern --- examples2/tree/aarbology.test1.nonlinear.pattern.xml | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 examples2/tree/aarbology.test1.nonlinear.pattern.xml diff --git a/examples2/tree/aarbology.test1.nonlinear.pattern.xml b/examples2/tree/aarbology.test1.nonlinear.pattern.xml new file mode 100644 index 0000000000..895d447424 --- /dev/null +++ b/examples2/tree/aarbology.test1.nonlinear.pattern.xml @@ -0,0 +1,2 @@ +<?xml version="1.0"?> +<RankedNonlinearPattern><subtreeWildcard><RankedSymbol><SubtreeWildcardSymbol/><Unsigned>0</Unsigned></RankedSymbol></subtreeWildcard><rankedNonlinearVariables><RankedSymbol><NonlinearVariableSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></NonlinearVariableSymbol><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><NonlinearVariableSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></NonlinearVariableSymbol><Unsigned>0</Unsigned></RankedSymbol></rankedNonlinearVariables><rankedAlphabet><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><RankedSymbol><SymbolRef id="0"/><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><SymbolRef id="2"/><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><SymbolRef id="4"/><Unsigned>0</Unsigned></RankedSymbol></rankedAlphabet><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><rankedNode><RankedSymbol><NonlinearVariableSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></NonlinearVariableSymbol><Unsigned>0</Unsigned></RankedSymbol></rankedNode></rankedNode></rankedNode></rankedNode></rankedNode></rankedNode></RankedNonlinearPattern> -- GitLab