inaturalnumbertable.java

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

package positronic.satisfiability.naturalnumbertable;

import positronic.satisfiability.naturalnumber.INaturalNumber;

public interface INaturalNumberTable
{
	INaturalNumber get(int i,int j) throws Exception;
	int getColumns() throws Exception;
	//String getName();
	int getRows();
	boolean isSameSizeAs(INaturalNumberTable y) throws Exception;
	//void set(int i, int j, INaturalNumber in) throws Exception;
	//void setName(String name);
	//String toString();
}