PermLib
Public Member Functions
permlib::helpers::FullSupportRestriction Class Reference

This class implements both canBeIgnored() and set() More...

#include <abstract_bsgs_helpers.h>

Inheritance diagram for permlib::helpers::FullSupportRestriction:
Inheritance graph
[legend]
Collaboration diagram for permlib::helpers::FullSupportRestriction:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 FullSupportRestriction (const boost::shared_ptr< std::set< dom_int > > &support, const std::vector< dom_int > &s)
bool canBeIgnored () const
const std::vector< dom_int > * set () const

Detailed Description

This class implements both canBeIgnored() and set()


Constructor & Destructor Documentation

permlib::helpers::FullSupportRestriction::FullSupportRestriction ( const boost::shared_ptr< std::set< dom_int > > &  support,
const std::vector< dom_int > &  s 
) [inline]
Parameters:
supportthe support of the group (i.e. a set of all elements that are moved by at least one permutation)
sthe set for which we want to decide whether the permutation action is trivial

Member Function Documentation

Returns:
true iff support does not intersect s

Reimplemented from permlib::helpers::BaseSupportRestriction.

const std::vector<dom_int>* permlib::helpers::FullSupportRestriction::set ( ) const [inline, virtual]
Returns:
the intersection of support and s

Reimplemented from permlib::helpers::BaseSupportRestriction.


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