/*************************************************************************************
Janne Koljonen
Vaasan yliopisto

Soft Computing
SAT_ongelman hyvyysfuntio.
Funktio määritelty dynaamisesti.
Geneettisen algoritmin hyvyysfunktio
**************************************************************************************/

public class SAT2 implements FitnessFunction
{
	private SAT sat1; // 1. tulotermi
	private SAT sat2; // 2. tulotermi

	public SAT2(SAT sat1, SAT sat2)
	{
		this.sat1=sat1;
		this.sat2=sat2;
	}


	/** Seuraava metodi periytyy FitnessFunction-rajapinnasta.
	parametrina muuttujien arvot kokonaisluvuksi tulkittuna.
	Palauttaa boolen funktion totuusarvon**/
	public int fitness(int[] boolvector)
	{
		int truth1=sat1.fitness(boolvector);
		int truth2=sat2.fitness(boolvector);
		if(truth1==0 && truth2==0) return 0; // True, minimoidaan
		else return 1;
	}
}