ibitstring.java

Java版的SAT求解器

/*
 * IBitString.java	1.1 05/10/27
 *
 * Copyright 2004-2005 Positronic Software.
 *
 *
 */

package positronic.satisfiability.bitstring;

import java.util.List;

import positronic.satisfiability.elements.IBooleanVariable;

public interface IBitString extends Cloneable
{
	List asList();
  Object clone() throws CloneNotSupportedException;
  //boolean equals(Object anObject);
  IBooleanVariable getBooleanVariable(int i) throws Exception;
  IBooleanVariable[] getBVArray() throws Exception;
  IBooleanVariable[] getBVArray(int size) throws Exception;
  String getName();
  //int index(IBooleanVariable b) throws Exception;
  void setBooleanVariable(int i, IBooleanVariable ib) throws Exception;
  //void setName(String name) throws Exception;
  int size();
  //boolean[] toBooleanArray() throws Exception;
  //String toString();
}