package tests.terms;

import static org.junit.jupiter.api.Assertions.*;

import org.junit.jupiter.api.Test;

import models.algebra.Type;
import models.dataConstraintModel.DataConstraintModel;
import models.terms.EvaluatableTerm;
import models.terms.ResourceVariable;

public class LinearRightNormalTest {

	Type INT = DataConstraintModel.typeInt;
	
	@Test
	void linearRightNormalTest() {
		
		
		ResourceVariable a = EvaluatableTerm.of("A", INT, 2);
		ResourceVariable b = EvaluatableTerm.of("B", INT, 2);
		ResourceVariable c = EvaluatableTerm.of("C", INT, 2);
		ResourceVariable d = EvaluatableTerm.of("D", INT, 2);
		ResourceVariable e = EvaluatableTerm.of("E", INT, 2);
		ResourceVariable f = EvaluatableTerm.of("F", INT, 2);
		ResourceVariable g = EvaluatableTerm.of("G", INT, 1);
		
		EvaluatableTerm te1 = EvaluatableTerm.of(e, f, g);
		EvaluatableTerm te2 = EvaluatableTerm.of(c, d, te1);
		EvaluatableTerm te3 = EvaluatableTerm.of(a, b, te2);
		//[a:b->[c:d->[e:f->g]]]
		assertEquals(te3.isLinearRightNormal(), true);
		
		EvaluatableTerm te4 = EvaluatableTerm.of(a, b, c);
		EvaluatableTerm te5 = EvaluatableTerm.of(te4, d, e);
		EvaluatableTerm te6 = EvaluatableTerm.of(te5, f, g);
		//[[[a:b->c]:d->e]:f->g]
		assertEquals(te6.isLinearRightNormal(), false);
	}
	
	@Test
	void linearRightNormalizeTest() {
		
		ResourceVariable a = EvaluatableTerm.of("A", INT, 2);
		ResourceVariable b = EvaluatableTerm.of("B", INT, 2);
		ResourceVariable c = EvaluatableTerm.of("C", INT, 2);
		ResourceVariable d = EvaluatableTerm.of("D", INT, 2);
		ResourceVariable e = EvaluatableTerm.of("E", INT, 2);
		ResourceVariable f = EvaluatableTerm.of("F", INT, 2);
		ResourceVariable g = EvaluatableTerm.of("G", INT, 1);
		
		EvaluatableTerm te1 = EvaluatableTerm.of(a, b, c);
		EvaluatableTerm te2 = EvaluatableTerm.of(te1, d, e);
		EvaluatableTerm te3 = EvaluatableTerm.of(te2, f, g);
		
		assertEquals(te3.isLinearRightNormal(), false);
		te3.selfLinearRightNormalize();
		assertEquals(te3.isLinearRightNormal(), true);
	}
	
}