package models.formulas;

import lombok.Getter;
import models.terms.EvaluatableTerm;

@Getter
public class InFormula extends Formula {

	private EvaluatableTerm leftSideHand;
	private EvaluatableTerm rightSideHand;
	
	public InFormula(EvaluatableTerm leftSideHand, EvaluatableTerm rightSideHand) {
		this.leftSideHand = leftSideHand;
		this.rightSideHand = rightSideHand;
	}
	
	@Override
	public String toString() {
		return leftSideHand.toString() + " in " + rightSideHand.toString();
	}

	@Override
	public boolean equals(Object another) {
		if (! (another instanceof InFormula)) {
			return false;
		}
		InFormula formula = (InFormula) another;
		return leftSideHand.equals(formula.getLeftSideHand()) && rightSideHand.equals(formula.getRightSideHand());
	}

	@Override
	public int hashCode() {
		return toString().hashCode();
	}

}