iproblem.java

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

/*
 * IProblem.java
 *
 * Copyright 2004-2005 Positronic Software.
 *
 */

package positronic.satisfiability.elements;

import java.util.*;

 /** The <code>IProblem</code> interface must be implemented by any class
  * definition of <tt>Problem</tt> contempleted as an alternative to the
  * <tt>Problem</tt> class provided by this package.
  *
  * @author  Kerry Michael Soileau
  * @version 1.3, 05/10/07
  */

public interface IProblem extends List
{
  boolean addClause(IClause c);
  IProblem combineSinglyMatchingClauses() throws Exception;
  boolean containsAnEmptyClause();
  IProblem eliminateComplementaryPairClauses() throws Exception;
  ArrayList getBooleanVariables() throws Exception;
  IClause getClause(int n);
  IClause[] getClauses();
  int numberOfClauses();
  void setClause(int n, IClause cl);
  void setClauses(IClause[] cl);
  void sort();
  IProblem substitute(IBooleanVariable b, boolean value) throws Exception;
  IProblem substitute(Map h) throws Exception;
  long toFile(String s);
  String toXML();
}