- h -

• hasClauseWithAggregatedRelation() : souffle::ast
• hasClauseWithNegatedRelation() : souffle::ast
• hasSuperTypeInSet() : souffle::ast::analysis
• haveCommonSupertype() : souffle::ast::analysis