Inter4ql  5.2
Inter4ql::Checker Member List

This is the complete list of members for Inter4ql::Checker, including all inherited members.

check(Program *p)Inter4ql::Checker
check_expression(Expression *expr)Inter4ql::Checker
check_query(Fact *r)Inter4ql::Checker
Checker(std::vector< ModuleGeneric *> *_modules)Inter4ql::Checkerexplicit
set_modules(std::vector< ModuleGeneric *> *_modules)Inter4ql::Checker