Ignore:
Timestamp:
Sep 7, 2016, 4:01:45 PM (3 years ago)
Author:
xuedongx
Message:

remove nullable assertion

File:
1 edited

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/icgrep/re/re_toolchain.cpp

    r5137 r5147  
    7777        std::cerr << "RemoveNullableSuffix:" << std::endl << Printer_RE::PrintRE(re_ast) << std::endl;
    7878    }
    79 
     79    re_ast = re::RE_Nullable::removeNullableAssertion(re_ast);
     80    if (PrintOptions.isSet(PrintAllREs) || PrintOptions.isSet(PrintStrippedREs)) {
     81        std::cerr << "RemoveNullableAssertion:" << std::endl << Printer_RE::PrintRE(re_ast) << std::endl;
     82    }
     83    re_ast = re::RE_Nullable::removeNullableAfterAssertion(re_ast);
     84    if (PrintOptions.isSet(PrintAllREs) || PrintOptions.isSet(PrintStrippedREs)) {
     85        std::cerr << "RemoveNullableAfterAssertion" << std::endl << Printer_RE::PrintRE(re_ast) << std::endl;
     86    }
     87   
    8088    re_ast = re::RE_Simplifier::simplify(re_ast);
    8189    if (PrintOptions.isSet(PrintAllREs) || PrintOptions.isSet(PrintSimplifiedREs)) {
Note: See TracChangeset for help on using the changeset viewer.