summaryrefslogtreecommitdiffstats
path: root/kmines/solver/adviseFast.h
blob: db3b1955cbbe44a66dfaf4f10a6cefdbaf3f6a94 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
/*
 * Copyright (c) 2001 Mikhail Kourinny (mkourinny@yahoo.com)
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2 of the License, or
 * (at your option) any later version.

 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.

 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
 */

#ifndef adviseFast_h
#define adviseFast_h

#include "headerP.h"


namespace AdviseFast {

    class GeneralRule : public Rule {
    public:
        GeneralRule(Coord fact, RuleSet *rules);
        virtual bool apply(CoordSet *surePoints);
    private:
        Coord _fact;
	};

	class EmptyRule : public Rule {
    public:
        EmptyRule(Coord fact, RuleSet *rules);
        virtual bool apply(CoordSet *surePoints);
    private:
        Coord _fact;
	};

	class FullRule : public Rule {
    public:
        FullRule(Coord fact, RuleSet *rules);
        virtual bool apply(CoordSet *surePoints);
    private:
        Coord _fact;
	};

	class InclusionRule : public Rule {
    public:
        InclusionRule(Coord bigger, Coord smaller,
                      RuleSet *rules);
        virtual bool apply(CoordSet *surePoints);
    private:
        Coord _bigger, _smaller;
	};

	class IntersectionRule : public Rule {
    public:
        IntersectionRule(Coord bigger, Coord smaller,
                         RuleSet *rules);
        virtual bool apply(CoordSet *surePoints);
    private:
        Coord _bigger, _smaller;
	};
}

#endif