maia::fv::collector Namespace Reference

Classes
class	FvCellCollector
	Class that represents FV cell collector. More...
struct	Invalid
struct	Invalid< BitsetType >
struct	Invalid< M16X2bit< false > >
struct	Invalid< MFloat >
struct	Invalid< MInt >

Typedefs
using	BitsetType = maia::fv::cell::BitsetType
	Underlying bitset type for property storage. More...

Typedef Documentation

BitsetType

using maia::fv::collector::BitsetType = typedef maia::fv::cell::BitsetType

Definition at line 145 of file fvcartesiancellcollector.h.