/* * * public override float UnifyLazy(Unifiable unifiable, SubQuery query) * { * best = null; * float bestf = 0; * foreach (var u in List) * { * float b = u.UnifyLazy(unifiable ,query); * if (b > bestf) best = u; * } * return unifiable.UnifyLazy(best, query); * //return bestf; * } */ public override float Unify(Unifiable unifiable, SubQuery query) { best = null; float bestf = 0; foreach (Unifiable u in List) { float b = u.Unify(unifiable, query); if (b > bestf) { best = u; } } return(unifiable.Unify(best, query)); //return bestf; }