naturalnumberlistequalizer.java

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

package positronic.satisfiability.naturalnumberlist;

import positronic.satisfiability.elements.Conjunction;
import positronic.satisfiability.elements.IProblem;
import positronic.satisfiability.elements.Problem;
import positronic.satisfiability.exceptions.NaturalNumberListEqualizerException;
import positronic.satisfiability.naturalnumber.NaturalNumberEqualizer;

public class NaturalNumberListEqualizer extends Problem implements IProblem
{
	private static final long serialVersionUID = 1L;
	
	public NaturalNumberListEqualizer(INaturalNumberList a, INaturalNumberList b) throws Exception
	{
		if(a.size()!=b.size())
			throw new NaturalNumberListEqualizerException("Size mismatch of INaturalNumberList parameters passed to constructor.");
		IProblem[] p=new Problem[a.size()];
		for(int i=0;i<p.length;i++)
			p[i]=new NaturalNumberEqualizer(a.getNaturalNumber(i),b.getNaturalNumber(i));
		this.setClauses(new Conjunction(p).getClauses());
	}
}