Ignore:
Timestamp:
Feb 24, 2018, 9:33:57 AM (14 months ago)
Author:
cameron
Message:

Grapheme cluster support: represent B{g} using Seq{} - b{g}; parser cleanups

File:
1 edited

Legend:

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

    r5869 r5880  
    166166        return (re_rep->getLB() == 0) || isNullable(re_rep->getRE());
    167167    } else if (const Diff * diff = dyn_cast<const Diff>(re)) {
    168         return isNullable(diff->getLH()) && !isNullable(diff->getRH());
     168        // a Diff of Seq({}) and an Assertion represents a complemented assertion.
     169        return false;
    169170    } else if (const Intersect * e = dyn_cast<const Intersect>(re)) {
    170171        return isNullable(e->getLH()) && isNullable(e->getRH());
Note: See TracChangeset for help on using the changeset viewer.