public static ISatisfactionRate LatestEPS(this DomainHypothesis obstacle)
 {
     throw new NotImplementedException();
 }
 public static IEnumerable <GoalRefinement> GoalRefinements(this DomainHypothesis domHyp)
 {
     return(from refinement in domHyp.model.GoalRefinements()
            where refinement.DomainHypothesisIdentifiers.Any(x => x.Identifier == domHyp.Identifier)
            select refinement);
 }
Example #3
0
 public void Add(DomainHypothesis domHyp)
 {
     this.DomainHypothesisIdentifiers.Add(new GoalRefinee(domHyp.Identifier));
 }
Example #4
0
 public void Add(DomainHypothesis domHyp, IRefineeParameter parameter)
 {
     this.DomainHypothesisIdentifiers.Add(new GoalRefinee(domHyp.Identifier, parameter));
 }
Example #5
0
 public void Add(DomainHypothesis domhyp)
 {
     this.domainRepository.Add(domhyp);
 }