ibitstringlinkedlist.java

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

package positronic.satisfiability.bitstringlist;

public interface IBitStringLinkedList extends IBitStringList
{
}