9 py::class_<TransformationChecker, std::shared_ptr<TransformationChecker>,
Parametrizable> pyTransformationChecker(p_class,
"TransformationChecker");
10 pyTransformationChecker.doc() = R
"pbdoc( 11 A transformation checker can stop the iteration depending on some conditions. 13 For example, a condition can be the number of times the loop was executed, or it can be related to the matching error. 14 Because the modules can be chained, we defined that the relation between modules must agree through an OR-condition, while all AND-conditions are defined within a single module. 17 pyTransformationChecker.def("getLimits", &TransformationChecker::getLimits)
18 .def(
"getConditionVariables", &TransformationChecker::getConditionVariables)
19 .def(
"getLimitNames", &TransformationChecker::getLimitNames)
20 .def(
"getConditionVariableNames", &TransformationChecker::getConditionVariableNames);
void pybindTransformationChecker(py::class_< PM > &p_class)
The superclass of classes that are constructed using generic parameters. This class provides the para...