ffasp/SafetyChecker.cpp at master · mushthofa/ffasp · GitHub

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
/**
 * @file SafetyChecker.cpp
 * @author Mushthofa
 * @date Tue 24 03 2009
 *
 * @brief Safety checker class
 *
 *
 */

#include "SafetyChecker.h"

SafetyChecker::SafetyChecker(const Atom& a)
        :atom(a)
{
        type = FACT;
}

SafetyChecker::SafetyChecker(const Rule& r)
        :rule(r)
{
        type = RULE;
}

bool SafetyChecker::checkSafe() const
{
        if(type == FACT)
        {
                if(atom.isGround())
                        return true;
                else
                        return false;
        }
        else if(type == RULE)
        {
                std::set<std::string> posvars, negvars;
                posvars = rule.getPosVariables();
                negvars = rule.getNegVariables();
                std::set<std::string>::iterator it;
                std::set<std::string> diff;
                std::set_difference(negvars.begin(), negvars.end(),
                                    posvars.begin(), posvars.end(),
                                    inserter(diff, diff.begin()));
                if(diff.size()>0)
                        return false;
                else
                        return true;
        }
        else
        {
                throw GeneralError("Safety checker called for unknown type object!");
        }
}

//End