Checker.java Source File

00001 package edu.ksu.cis.bandera.checker;
00002 
00003 /**
00004  * Checker interface.
00005  * @author: Roby Joehanes
00006  */
00007 import java.util.List;
00008 public interface Checker {
00009     public String check();
00010     public List getCounterExample();
00011 }