private static IReadOnlyList <Interval> CreateIntervals(AtomTerminal innerTerminal) { var inverseIntervalList = new List <Interval>(); var intervals = innerTerminal.GetIntervals(); foreach (var interval in intervals) { var inverseIntervals = Interval.Inverse(interval); inverseIntervalList.AddRange(inverseIntervals); } return(Interval.Group(inverseIntervalList)); }
public NegationTerminal(AtomTerminal innerTerminal) { InnerTerminal = innerTerminal; this.hashCode = ("!", InnerTerminal).GetHashCode(); }