47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
const auto pTemplateRuleSet = GetTemplateRuleSet( c, tpl );
if( !pTemplateRuleSet )
return PoisonValue();
return pTemplateRuleSet->buildParamDecl( c, *ValueFromIRExpr( tpl ), *ValueFromIRExpr( arg ) );
}
void TemplateSetup( const Context& c, UnificationContext& uc, const Term& tpl )
{
const auto pTemplateRuleSet = GetTemplateRuleSet( c, tpl );
if( !pTemplateRuleSet )
return;
pTemplateRuleSet->setup( c, uc, *ValueFromIRExpr( tpl ) );
}
|
|
|
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
const auto pTemplateRuleSet = GetTemplateRuleSet( c, tpl );
if( !pTemplateRuleSet )
return PoisonValue();
return pTemplateRuleSet->buildParamDecl( c, *ValueFromIRExpr( tpl ), *ValueFromIRExpr( arg ) );
}
void TemplateSetup( const Context& c, UnificationContext uc, const Term& tpl )
{
const auto pTemplateRuleSet = GetTemplateRuleSet( c, tpl );
if( !pTemplateRuleSet )
return;
pTemplateRuleSet->setup( c, uc, *ValueFromIRExpr( tpl ) );
}
|