public override Formula CreateRegression(Predicate p, int iChoice)
 {
     RegressedPredicate rpNew = new RegressedPredicate((GroundedPredicate)Predicate, p, iChoice);
     return new PredicateFormula(rpNew);
 }
Пример #2
0
        public override Formula CreateRegression(Predicate p, int iChoice)
        {
            RegressedPredicate rpNew = new RegressedPredicate((GroundedPredicate)Predicate, p, iChoice);

            return(new PredicateFormula(rpNew));
        }