permlib  0.2.9
Library for permutation computations
subgroup_predicate.h
1 // ---------------------------------------------------------------------------
2 //
3 // This file is part of PermLib.
4 //
5 // Copyright (c) 2009-2011 Thomas Rehn <thomas@carmen76.de>
6 // All rights reserved.
7 //
8 // Redistribution and use in source and binary forms, with or without
9 // modification, are permitted provided that the following conditions
10 // are met:
11 // 1. Redistributions of source code must retain the above copyright
12 // notice, this list of conditions and the following disclaimer.
13 // 2. Redistributions in binary form must reproduce the above copyright
14 // notice, this list of conditions and the following disclaimer in the
15 // documentation and/or other materials provided with the distribution.
16 // 3. The name of the author may not be used to endorse or promote products
17 // derived from this software without specific prior written permission.
18 //
19 // THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
20 // IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
21 // OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
22 // IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
23 // INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
24 // NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
25 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
26 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
27 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
28 // THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
29 //
30 // ---------------------------------------------------------------------------
31 
32 
33 #ifndef SUBGROUPPREDICATE_H_
34 #define SUBGROUPPREDICATE_H_
35 
36 #include <functional>
37 
38 namespace permlib {
39 
40 template <class PERM>
42 
44 template <class PERM>
45 class SubgroupPredicate : public std::unary_function<PERM, bool> {
46 public:
48  virtual ~SubgroupPredicate() {}
49 
51  virtual bool operator()(const PERM &) const = 0;
52 
54 
62  virtual bool childRestriction(const PERM &h, unsigned int i, unsigned long beta_i) const = 0;
63 
65 
68  virtual unsigned int limit() const = 0;
69 };
70 
71 }
72 
73 #endif // -- SUBGROUPPREDICATE_H_
virtual unsigned int limit() const =0
limit of recursion depth in backtrack search
virtual bool operator()(const PERM &) const =0
true iff group element fulfills predicate
Definition: subgroup_predicate.h:41
abstract base class for subgroup (and coset) predicates
Definition: subgroup_predicate.h:45
virtual ~SubgroupPredicate()
virtual destructor
Definition: subgroup_predicate.h:48
Definition: abstract_bsgs.h:49
virtual bool childRestriction(const PERM &h, unsigned int i, unsigned long beta_i) const =0
checks if a given group element should not be followed in backtrack search