iformula.java

来自「Java版的SAT求解器」· Java 代码 · 共 20 行

/*
 * IFormula.java	1.0 05/03/08
 *
 * Copyright 2004-2005 Positronic Software.
 *
 *
 */

package positronic.satisfiability.elements;

 /** The <code>IFormula</code> interface must be implemented by any class
  * definition of <code>Formula</code> contempleted as an alternative to the
  * <code>Formula</code> class provided by this package.
  *
  * @author  Kerry Michael Soileau
  * @version 1.1, 05/07/22
  */
public interface IFormula extends IProblem
{
}