package model.rules;

import model.Box;

public class DisjunctionElim implements Rule{

	@Override
	public boolean hasCompleteInfo() {
		// TODO Auto-generated method stub
		return false;
	}

	@Override
	public void updateReference(int index, String newValue) {
		// TODO Auto-generated method stub
		
	}

	@Override
	public boolean verify(Box data, int rowIndex) {
		// TODO Auto-generated method stub
		return false;
	}
	
	//kolla att en rad och två intervall anges. 
	//kolla så att alla rader/boxar som används är verified. 
	//kolla så att båda boxar avslutas med det som ska bevisas.
	//kolla så att den ena boxen börjar med ena sidan av ursprungliga OR-uttrycket.
	//kolla att den andra boxen börjar med andra sidan av OR-uttrycket. 
	
	//fundering: hur har vi koll på boxarna just nu? 

}

@@ -81,16 +81,101 @@
  Rule%7B%0A%0A
+%09private Integer rowRef;%0A%09private Interval interval1;%0A%09private Interval interval2;%0A%09%0A
 %09@Overri
@@ -473,32 +473,233 @@
 ted method stub%0A
+%09%09if(data.isInScopeOf(rowRef, rowIndex) == false ) return false;%0A%09%09if(data.isInScopeOf(interval1, rowIndex) == false ) return false;%0A%09%09if(data.isInScopeOf(interval2, rowIndex) == false ) return false;%0A
 %09%09return false;%0A

check if the promts are chosen correctly in DisjunctionElin