allow integer parameters.

This commit is contained in:
Vítor Santos Costa 2013-04-07 08:18:13 -05:00
parent a599699f0c
commit 4ab4f1cab1

View File

@ -513,7 +513,11 @@ readParameters (YAP_Term paramL)
Params params;
assert (YAP_IsPairTerm (paramL));
while (paramL != YAP_TermNil()) {
params.push_back ((double) YAP_FloatOfTerm (YAP_HeadOfTerm (paramL)));
YAP_Term hd = YAP_HeadOfTerm (paramL);
if (YAP_IsFloatTerm(hd))
params.push_back ((double) YAP_FloatOfTerm (hd));
else
params.push_back ((double) YAP_IntOfTerm (hd));
paramL = YAP_TailOfTerm (paramL);
}
if (Globals::logDomain) {