ibitstringlist.java

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

/*
 * IBitStringList.java	1.0 05/04/28
 *
 * Copyright 2004-2005 Positronic Software.
 *
 *
 */

package positronic.satisfiability.bitstringlist;

import java.util.List;

import positronic.satisfiability.bitstring.IBitString;

public interface IBitStringList extends List
{
  IBitString getBitString(int i) throws Exception;
  String getName();
  List toList() throws Exception;
}