code: package formulae.cltloc.relations;
  
  import formulae.cltloc.atoms.Constant;
  import formulae.cltloc.atoms.Signal;
  import formulae.cltloc.atoms.Variable;
  import formulae.cltloc.atoms.CLTLocArithmeticExpression;
  import formulae.cltloc.atoms.CLTLocClock;
  
  public class CLTLocEQRelation extends CLTLocRelation {
  	public CLTLocEQRelation(CLTLocClock subformula1, Constant subformula2) {
  		super(subformula1, subformula2, Relation.parse("="));
  	}
  
  	public CLTLocEQRelation(Constant subformula1, Constant subformula2) {
  		super(subformula1, subformula2, Relation.parse("="));
  	}
  
  	public CLTLocEQRelation(CLTLocClock subformula1, CLTLocClock subformula2) {
  		super(subformula1, subformula2, Relation.parse("="));
  	}
  
  	public CLTLocEQRelation(Signal subformula1, Constant subformula2) {
  		super(subformula1, subformula2, Relation.parse("="));
  	}
  
  	public CLTLocEQRelation(Constant subformula1, Signal subformula2) {
  		super(subformula1, subformula2, Relation.parse("="));
  	}
  
  	public CLTLocEQRelation(Signal subformula1, Signal subformula2) {
  		super(subformula1, subformula2, Relation.parse("="));
  	}
  
  	public CLTLocEQRelation(Variable subformula1, Constant subformula2) {
  		super(subformula1, subformula2, Relation.parse("="));
  	}
  
  	public CLTLocEQRelation(Constant subformula1, Variable subformula2) {
  		super(subformula1, subformula2, Relation.parse("="));
  	}
  
  	public CLTLocEQRelation(Variable subformula1, Variable subformula2) {
  		super(subformula1, subformula2, Relation.parse("="));
  	}
  	public CLTLocEQRelation(Variable subformula1, formulae.cltloc.atoms.Expression subformula2) {
  		super(subformula1, subformula2, Relation.parse("="));
  	}
  }
  