@Test public void isFinite() { Assert.assertEquals("\nd: " + dfa, expected, IsFinite.isFinite(dfa)); }
public static boolean isFinite(DFA d){ return false; }
IsFinite { public static boolean isFinite(DFA d){ return false; } }
IsFinite { public static boolean isFinite(DFA d){ return false; }  }
IsFinite { public static boolean isFinite(DFA d){ return false; }  static boolean isFinite(DFA d); static void main(String[] args); }
IsFinite { public static boolean isFinite(DFA d){ return false; }  static boolean isFinite(DFA d); static void main(String[] args);  }