65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
+
-
+
|
const auto pTemplateRuleSet = GetTemplateRuleSet( c, tpl );
if( !pTemplateRuleSet )
return;
pTemplateRuleSet->setup( c, tcc, tpl );
}
uint64_t TemplateHashTypePredicates(
uint64_t TemplateHashTypePredicates( const Context& c, const TypeCheckingContext& tcc, const Term& tpl )
const Context& c, const TypeCheckingContext& tcc, const Term& tpl )
{
const auto pTemplateRuleSet = GetTemplateRuleSet( c, tpl );
if( !pTemplateRuleSet )
return 0;
return pTemplateRuleSet->hashTypePredicates( c, tcc, tpl );
}
|