UnaryTest.java

package rationals.properties;

import rationals.Automaton;

public interface UnaryTest {
  public boolean test(Automaton a) ;
}