ibitstringgroup.java

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

package positronic.satisfiability.bitstringgroup;

import positronic.satisfiability.bitstring.IBitString;

public interface IBitStringGroup
{
	void addRule(IBitString a,IBitString b,IBitString c);
	String getName();
	String toString();
}