package com.biosimilarity.seleKt.model.ill.lang.illtl.Absyn; // Java Package generated by the BNF Converter.

public class InclusionLeft extends RLLPtrn {
  public final FormalExpr formalexpr_;

  public InclusionLeft(FormalExpr p1) { formalexpr_ = p1; }

  public <R,A> R accept(com.biosimilarity.seleKt.model.ill.lang.illtl.Absyn.RLLPtrn.Visitor<R,A> v, A arg) { return v.visit(this, arg); }

  public boolean equals(Object o) {
    if (this == o) return true;
    if (o instanceof com.biosimilarity.seleKt.model.ill.lang.illtl.Absyn.InclusionLeft) {
      com.biosimilarity.seleKt.model.ill.lang.illtl.Absyn.InclusionLeft x = (com.biosimilarity.seleKt.model.ill.lang.illtl.Absyn.InclusionLeft)o;
      return this.formalexpr_.equals(x.formalexpr_);
    }
    return false;
  }

  public int hashCode() {
    return this.formalexpr_.hashCode();
  }


}
