package com.biosimilarity.lift.model.specialK.Absyn; // Java Package generated by the BNF Converter.

public class Injection extends GuardedAgent {
  public final Pattern pattern_;
  public final Agent agent_;

  public Injection(Pattern p1, Agent p2) { pattern_ = p1; agent_ = p2; }

  public <R,A> R accept(com.biosimilarity.lift.model.specialK.Absyn.GuardedAgent.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.lift.model.specialK.Absyn.Injection) {
      com.biosimilarity.lift.model.specialK.Absyn.Injection x = (com.biosimilarity.lift.model.specialK.Absyn.Injection)o;
      return this.pattern_.equals(x.pattern_) && this.agent_.equals(x.agent_);
    }
    return false;
  }

  public int hashCode() {
    return 37*(this.pattern_.hashCode())+this.agent_.hashCode();
  }


}
