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();
}
