#include <set_image_refinement.h>
Public Member Functions | |
template<class InputIterator > | |
SetImageRefinement (ulong n, InputIterator begin, InputIterator end, InputIterator beginImg, InputIterator endImg) | |
constructor | |
virtual uint | apply (Partition &pi) const |
applies (left-)refinement to pi which is the original partition this refinement was initialized to | |
virtual uint | apply2 (Partition &pi, const PERM &t) const |
applies (right-)refinement to pi which is the image of the original partition this refinement was initialized to under t | |
virtual bool | init (Partition &pi) |
initializes refinement | |
template<class InputIterator > | |
SetImageRefinement (ulong n, InputIterator begin, InputIterator end, InputIterator beginImg, InputIterator endImg) | |
constructor | |
virtual uint | apply (Partition &pi) const |
applies (left-)refinement to pi which is the original partition this refinement was initialized to | |
virtual uint | apply2 (Partition &pi, const PERM &t) const |
applies (right-)refinement to pi which is the image of the original partition this refinement was initialized to under t | |
virtual bool | init (Partition &pi) |
initializes refinement |
concrete -refinements for set image
permlib::partition::SetImageRefinement< PERM >::SetImageRefinement | ( | ulong | n, | |
InputIterator | begin, | |||
InputIterator | end, | |||
InputIterator | beginImg, | |||
InputIterator | endImg | |||
) | [inline] |
constructor
n | cardinality of the set the group acts on | |
begin | iterator(ulong) begin of the set ![]() | |
end | iterator(ulong) end of the set ![]() | |
beginImg | iterator(ulong) begin of the set ![]() | |
endImg | iterator(ulong) end of the set ![]() |
permlib::partition::SetImageRefinement< PERM >::SetImageRefinement | ( | ulong | n, | |
InputIterator | begin, | |||
InputIterator | end, | |||
InputIterator | beginImg, | |||
InputIterator | endImg | |||
) | [inline] |
constructor
n | cardinality of the set the group acts on | |
begin | iterator(ulong) begin of the set ![]() | |
end | iterator(ulong) end of the set ![]() | |
beginImg | iterator(ulong) begin of the set ![]() | |
endImg | iterator(ulong) end of the set ![]() |
virtual uint permlib::partition::SetImageRefinement< PERM >::apply | ( | Partition & | pi | ) | const [virtual] |
applies (left-)refinement to pi which is the original partition this refinement was initialized to
Implements permlib::partition::Refinement< PERM >.
uint permlib::partition::SetImageRefinement< PERM >::apply | ( | Partition & | pi | ) | const [inline, virtual] |
applies (left-)refinement to pi which is the original partition this refinement was initialized to
Implements permlib::partition::Refinement< PERM >.
virtual uint permlib::partition::SetImageRefinement< PERM >::apply2 | ( | Partition & | pi, | |
const PERM & | t | |||
) | const [virtual] |
applies (right-)refinement to pi which is the image of the original partition this refinement was initialized to under t
Reimplemented from permlib::partition::Refinement< PERM >.
uint permlib::partition::SetImageRefinement< PERM >::apply2 | ( | Partition & | pi, | |
const PERM & | t | |||
) | const [inline, virtual] |
applies (right-)refinement to pi which is the image of the original partition this refinement was initialized to under t
Reimplemented from permlib::partition::Refinement< PERM >.