@interface HMMClosedOpenInterval : HMMInterval

- (id)negativeInfinityIntervalString;
- (id)positiveInfinityIntervalString;
- (id)standardIntervalString;

@end