Inter4ql
5.2
|
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::Checker | explicit |
set_modules(std::vector< ModuleGeneric *> *_modules) | Inter4ql::Checker |