Interface ModelChecker.DFAModelChecker<I,​P,​R>