permlib::helpers::ReducedSupportRestriction Class Reference

This class implements canBeIgnored() but has a trivial set() More...

#include <abstract_bsgs_helpers.h>

Inheritance diagram for permlib::helpers::ReducedSupportRestriction:

Public Member Functions
	ReducedSupportRestriction (const boost::shared_ptr< std::set< dom_int > > &support, const std::vector< dom_int > &s)
virtual bool	canBeIgnored () const
Public Member Functions inherited from permlib::helpers::BaseSupportRestriction
	BaseSupportRestriction (const boost::shared_ptr< std::set< dom_int > > &support, const std::vector< dom_int > &s)
virtual const std::vector< dom_int > *	set () const
Public Member Functions inherited from permlib::helpers::SupportRestriction
virtual	~SupportRestriction ()
	destructor

Additional Inherited Members
Protected Attributes inherited from permlib::helpers::BaseSupportRestriction
const boost::shared_ptr< std::set< dom_int > >	m_support
const std::vector< dom_int > &	m_originalSet

Detailed Description

This class implements canBeIgnored() but has a trivial set()

Constructor & Destructor Documentation

ReducedSupportRestriction()

permlib::helpers::ReducedSupportRestriction::ReducedSupportRestriction ( const boost::shared_ptr< std::set< dom_int > > & support, const std::vector< dom_int > & s )

inline

Parameters

support	the support of the group (i.e. a set of all elements that are moved by at least one permutation)
s	the set for which we want to decide whether the permutation action is trivial

Member Function Documentation

canBeIgnored()

virtual bool permlib::helpers::ReducedSupportRestriction::canBeIgnored ( ) const

inlinevirtual

Returns

true iff support does not intersect s

Reimplemented from permlib::helpers::BaseSupportRestriction.

---

The documentation for this class was generated from the following file:

• include/permlib/abstract_bsgs_helpers.h