From 7fb6ea1e1f61b7bc064f7db55b54e96780230ace Mon Sep 17 00:00:00 2001 From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz> Date: Tue, 9 Aug 2016 13:39:12 +0200 Subject: [PATCH] additional example of nonlinear pattern --- examples2/tree/aarbology.test3.nonlinear.pattern.xml | 2 ++ examples2/tree/aarbology.test3.subject.xml | 2 ++ 2 files changed, 4 insertions(+) create mode 100644 examples2/tree/aarbology.test3.nonlinear.pattern.xml create mode 100644 examples2/tree/aarbology.test3.subject.xml diff --git a/examples2/tree/aarbology.test3.nonlinear.pattern.xml b/examples2/tree/aarbology.test3.nonlinear.pattern.xml new file mode 100644 index 0000000000..4fcc198278 --- /dev/null +++ b/examples2/tree/aarbology.test3.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><String>A</String></PrimitiveLabel></LabeledSymbol></NonlinearVariableSymbol><Unsigned>0</Unsigned></RankedSymbol></rankedNonlinearVariables><rankedAlphabet><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol><RankedSymbol><SymbolRef id="0"/><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><SymbolRef id="2"/><Unsigned>0</Unsigned></RankedSymbol></rankedAlphabet><rankedNode><RankedSymbol><SymbolRef id="3"/><Unsigned>2</Unsigned></RankedSymbol><rankedNode><RankedSymbol><SymbolRef id="2"/><Unsigned>0</Unsigned></RankedSymbol></rankedNode><rankedNode><RankedSymbol><NonlinearVariableSymbol><LabeledSymbol><PrimitiveLabel><String>A</String></PrimitiveLabel></LabeledSymbol></NonlinearVariableSymbol><Unsigned>0</Unsigned></RankedSymbol></rankedNode></rankedNode></RankedNonlinearPattern> diff --git a/examples2/tree/aarbology.test3.subject.xml b/examples2/tree/aarbology.test3.subject.xml new file mode 100644 index 0000000000..1b6b3a3a43 --- /dev/null +++ b/examples2/tree/aarbology.test3.subject.xml @@ -0,0 +1,2 @@ +<?xml version="1.0"?> +<RankedTree><rankedAlphabet><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol></rankedAlphabet><rankedNode><RankedSymbol><SymbolRef id="1"/><Unsigned>2</Unsigned></RankedSymbol><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol><rankedNode><RankedSymbol><SymbolRef id="0"/><Unsigned>1</Unsigned></RankedSymbol><rankedNode><RankedSymbol><SymbolRef id="2"/><Unsigned>0</Unsigned></RankedSymbol></rankedNode></rankedNode><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol></rankedNode></rankedNode></rankedNode><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol></rankedNode></rankedNode><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><rankedNode><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol></rankedNode></rankedNode></rankedNode></rankedNode></RankedTree> -- GitLab