File: canbeempty.cc

package info (click to toggle)
flexc%2B%2B 2.17.01-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 7,180 kB
  • sloc: cpp: 6,467; makefile: 148; sh: 130; ansic: 18
file content (11 lines) | stat: -rw-r--r-- 218 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
#include "fpattern.ih"

bool FPattern::canBeEmpty(States const &states) const
{
    set<size_t> indices;

    return 
        (fixedLength() && length() == 0)
        or
        empty(indices, states, d_pair.first);
}