Skip to content
Snippets Groups Projects
Commit b842f1b6 authored by Jan Trávníček's avatar Jan Trávníček
Browse files

catalog normalize tree labels

parent 2fb49bc1
No related branches found
No related tags found
1 merge request!127Merge jt
......@@ -10,6 +10,6 @@
 
namespace {
 
auto NormalizeTreeLabelsRankedTree = registration::AbstractRegister < tree::NormalizeTreeLabels, tree::RankedTree < unsigned >, const tree::RankedTree < > & > ( tree::NormalizeTreeLabels::normalize );
auto NormalizeTreeLabelsRankedTree = registration::AbstractRegister < tree::simplify::NormalizeTreeLabels, tree::RankedTree < unsigned >, const tree::RankedTree < > & > ( tree::simplify::NormalizeTreeLabels::normalize );
 
} /* namespace */
......@@ -16,6 +16,8 @@
 
namespace tree {
 
namespace simplify {
/**
* Simple computation of subtree repeats
*/
......@@ -65,6 +67,8 @@ tree::RankedTree < unsigned > NormalizeTreeLabels::normalize ( const tree::Ranke
return tree::RankedTree < unsigned > ( normalize ( tree.getContent ( ), mapping, counter ) );
}
 
} /* namespace simplify */
} /* namespace tree */
 
#endif /* _ARBOLOGY_NORMALIZE_TREE_LABELS_H_ */
......@@ -12,16 +12,16 @@ const size_t RANDOM_ITERATIONS = 15;
 
TEST_CASE ( "TreeRepeats", "[integration]" ) {
auto pipeline = GENERATE ( as < std::string > ( ),
"arbology::properties::ExactSubtreeRepeatsFromSubtreeAutomaton (PrefixRankedTree)$tree | tree::NormalizeTreeLabels (RankedTree) -",
"tree::properties::ExactSubtreeRepeatsNaive (PostfixRankedTree)$tree | tree::NormalizeTreeLabels (RankedTree) -",
"tree::properties::ExactSubtreeRepeatsNaive (PostfixRankedTree)$tree | tree::NormalizeTreeLabels (RankedTree) -" );
"arbology::properties::ExactSubtreeRepeatsFromSubtreeAutomaton (PrefixRankedTree)$tree | tree::simplify::NormalizeTreeLabels (RankedTree) -",
"tree::properties::ExactSubtreeRepeatsNaive (PostfixRankedTree)$tree | tree::simplify::NormalizeTreeLabels (RankedTree) -",
"tree::properties::ExactSubtreeRepeatsNaive (PostfixRankedTree)$tree | tree::simplify::NormalizeTreeLabels (RankedTree) -" );
 
 
SECTION ( "Test Files" ) {
for ( const std::string & file : TestFiles::Get ( "/tree/repeats.*.xml" ) ) {
ext::vector < std::string > qs = {
"execute < " + file + " > $tree",
"execute tree::properties::ExactSubtreeRepeatsNaive $tree | tree::NormalizeTreeLabels - > $res1", // naive
"execute tree::properties::ExactSubtreeRepeatsNaive $tree | tree::simplify::NormalizeTreeLabels - > $res1", // naive
"execute " + pipeline + " > $res2",
"quit compare::TreeCompare $res1 $res2",
};
......@@ -34,7 +34,7 @@ TEST_CASE ( "TreeRepeats", "[integration]" ) {
for ( size_t i = 0; i < RANDOM_ITERATIONS; i++ ) {
ext::vector < std::string > qs = {
"execute tree::generate::RandomRankedTreeFactory " + ext::to_string ( HEIGHT ) + " " + ext::to_string ( SIZE ) + " " + ext::to_string ( rand ( ) % ALPHABET_SIZE + 1 ) + " (bool)true 5 > $tree",
"execute tree::properties::ExactSubtreeRepeatsNaive $tree | tree::NormalizeTreeLabels - > $res1", // naive
"execute tree::properties::ExactSubtreeRepeatsNaive $tree | tree::simplify::NormalizeTreeLabels - > $res1", // naive
"execute " + pipeline + " > $res2",
"quit compare::TreeCompare $res1 $res2",
};
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment