public override Formula CreateRegression(Predicate p, int iChoice) { RegressedPredicate rpNew = new RegressedPredicate((GroundedPredicate)Predicate, p, iChoice); return new PredicateFormula(rpNew); }
public override Formula CreateRegression(Predicate p, int iChoice) { RegressedPredicate rpNew = new RegressedPredicate((GroundedPredicate)Predicate, p, iChoice); return(new PredicateFormula(rpNew)); }