package tests.terms;

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

import org.junit.jupiter.api.Test;

import models.terms.DependencyTerm;
import models.terms.ResourceVariable;
import tests.Utils;

public class EqualsTest {
	
	@Test
	void DependencyTermEqualsTest() {
		ResourceVariable A =  new ResourceVariable("A", Utils.INT, 1);
		ResourceVariable B =  new ResourceVariable("B", Utils.INT, 1);
		ResourceVariable C =  new ResourceVariable("C", Utils.INT, 1);
		ResourceVariable D =  new ResourceVariable("D", Utils.INT, 1);
		ResourceVariable E =  new ResourceVariable("E", Utils.INT, 1);
		
		DependencyTerm t1 = new DependencyTerm(A, B, C, D, E);
		DependencyTerm t2 = new DependencyTerm(A, D, E, B, C);
		assertTrue(t1.equals(t2));
		
	}
	
}