public static Obstacle ParentObstacle(this ObstacleRefinement refinement)
 {
     return(refinement.model.Obstacles().SingleOrDefault(y => y.Identifier == refinement.ParentObstacleIdentifier));
 }
 public static IEnumerable <Obstacle> SubObstacles(this ObstacleRefinement refinement)
 {
     return(refinement.SubobstacleIdentifiers
            .Select(x => refinement.model.Obstacles().SingleOrDefault(y => y.Identifier == x.Identifier)));
 }
 public static IEnumerable <DomainHypothesis> DomainHypotheses(this ObstacleRefinement refinement)
 {
     return(refinement.DomainHypothesisIdentifiers
            .Select(x => refinement.model.DomainHypotheses().SingleOrDefault(y => y.Identifier == x.Identifier)));
 }
예제 #4
0
 public void Add(ObstacleRefinement v)
 {
     this.obstacleRepository.Add(v);
 }