VCBuilder::OrRule Class Reference

Public Member Functions
	OrRule (const VCBuilder &builder)
int	operator() (const VC &vc, const VCList semi_list, VCList full_list, std::list< VC > &added, int max_ors, ChangeLog< VC > *log, VCBuilderStatistics &stats)
	Runs over all subsets of size 2 to max_ors of semis containing vc and adds the union to out if it has an empty intersection.
Private Attributes
const VCBuilder &	m_builder
std::vector< VC >	m_semi
	Vectors used in or rule computation are reused between calls to avoid unnecessary dynamic memory allocation.
std::vector< bitset_t >	m_tail

Detailed Description

Definition at line 205 of file VCBuilder.hpp.

VCBuilder::OrRule::OrRule ( const VCBuilder & builder ) [inline]

Definition at line 208 of file VCBuilder.hpp.

int VCBuilder::OrRule::operator()	(	const VC &	vc,
		const VCList *	semi_list,
		VCList *	full_list,
		std::list< VC > &	added,
		int	max_ors,
		ChangeLog< VC > *	log,
		VCBuilderStatistics &	stats
	)

Runs over all subsets of size 2 to max_ors of semis containing vc and adds the union to out if it has an empty intersection.

This function is a major bottleneck and so needs to be as efficient as possible.

TODO: Document this more!

TODO: Check if unrolling the recursion really does speed it up.

Create a new full.

Note:: We do no use AddNewFull() because if add is successful, it checks for semi-supersets and adds the list to the queue. Both of these operations are not needed here.

Create a new full. This vc has one or both captured sets in its carrier.

Definition at line 618 of file VCBuilder.cpp.