File: haskernel.cc

package info (click to toggle)
bisonc%2B%2B 6.09.02-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 5,984 kB
  • sloc: cpp: 9,375; ansic: 1,505; fortran: 1,134; makefile: 1,062; sh: 526; yacc: 84; lex: 60
file content (21 lines) | stat: -rw-r--r-- 655 bytes parent folder | download | duplicates (8) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
#include "state.ih"

// return true if `state' contains all items stored in `searchKernel'

bool State::hasKernel(Item::Vector const &searchKernel) const
{
    return d_nKernelItems == searchKernel.size() 
            &&
           searchKernel.size() ==
           static_cast<size_t>(
                count_if
                (
                    searchKernel.begin(), searchKernel.end(), 
                    [&](Item const &searchItem)
                    {
                        return StateItem::containsKernelItem(searchItem,
                                d_nKernelItems, d_itemVector);
                    }
                )
           );
}