replace pair with two distinct object in filter.h
Since the pair is now contained in the FilterWithACAutomaton class, it is no so consistent to encapsulate a pair instead of two objects. For more informations see #3283.
Please register or sign in to comment