SimpleConjunction.cpp File Reference

#include <knowrob/formulas/SimpleConjunction.h>
#include "knowrob/formulas/Negation.h"
#include "knowrob/integration/python/utils.h"

Include dependency graph for SimpleConjunction.cpp:

Go to the source code of this file.

Namespaces
	knowrob
	knowrob::py

Functions
std::vector< FormulaPtr >	literalsToFormulae (const std::vector< FirstOrderLiteralPtr > &literals)
template<>
void	knowrob::py::createType< SimpleConjunction > ()

Function Documentation

literalsToFormulae()

std::vector<FormulaPtr> literalsToFormulae

(

const std::vector< FirstOrderLiteralPtr > &

literals

)

Definition at line 12 of file SimpleConjunction.cpp.

                                                                                          {
    std::vector<FormulaPtr> formulae;
    for (const auto &literal: literals) {
        if (literal->isNegated()) {
            formulae.push_back(std::make_shared<Negation>(literal->predicate()));
        } else {
            formulae.push_back(literal->predicate());
        }
    }
    return formulae;
}