<commit_before>package verification.platu.partialOrders;

import java.util.HashSet;

public class LpnTransitionPair {
	private Integer lpnIndex;
	private Integer tranIndex;
	private HashSet<LpnTransitionPair> transVisited;
	private int hashVal;
	
	public LpnTransitionPair(Integer lpnIndex, Integer tranIndex) {
		this.lpnIndex = lpnIndex;
		this.tranIndex = tranIndex;
		transVisited = new HashSet<LpnTransitionPair>();
		//firingCount = 0;
	}
	
	public Integer getLpnIndex() {
		return lpnIndex;
	}
	
	public Integer getTranIndex() {
		return tranIndex;
	}
	
	public void addVisitedTran(LpnTransitionPair lpnTranPair) {
		transVisited.add(lpnTranPair);
	}
	
	public HashSet<LpnTransitionPair> getVisitedTrans() {
		return transVisited;
	}
	
	@Override
	public int hashCode() {
		if(hashVal == 0){
			final int prime = 31;
			int result = 1;
			result = prime * result + lpnIndex.hashCode();
			result = prime * result + tranIndex.hashCode();
			//result = prime * result + tranSetVisitedByNecessary.hashCode();
			hashVal = result;
		}	
		return hashVal;
	}

	@Override
	public boolean equals(Object obj) {
		if (this == obj)
			return true;
		
		if (obj == null)
			return false;
		
		if (getClass() != obj.getClass())
			return false;
		
		LpnTransitionPair other = (LpnTransitionPair) obj;
		if (!lpnIndex.equals(other.lpnIndex)) 
			return false;
		if (!tranIndex.equals(other.tranIndex))
			return false;
		return true;
	}

//	public void resetFiringCount() {
//		firingCount = 0;
//	}
//
//	public void increaseFiringCount() {
//		firingCount++ ;
//		
//	}
//
//	public int getFiringCount() {
//		return firingCount;
//	}
}
<commit_msg>Replaced hasCode and equals with automatic generated ones. Added toString method.<commit_after>package verification.platu.partialOrders;

import java.util.HashSet;

public class LpnTransitionPair {
	private Integer lpnIndex;
	private Integer tranIndex;
	private HashSet<LpnTransitionPair> transVisited;
	
	public LpnTransitionPair(Integer lpnIndex, Integer tranIndex) {
		this.lpnIndex = lpnIndex;
		this.tranIndex = tranIndex;
		transVisited = new HashSet<LpnTransitionPair>();
		//firingCount = 0;
	}
	
	public Integer getLpnIndex() {
		return lpnIndex;
	}
	
	public Integer getTranIndex() {
		return tranIndex;
	}
	
	public void addVisitedTran(LpnTransitionPair lpnTranPair) {
		transVisited.add(lpnTranPair);
	}
	
	public HashSet<LpnTransitionPair> getVisitedTrans() {
		return transVisited;
	}

	@Override
	public int hashCode() {
		final int prime = 31;
		int result = 1;
		result = prime * result
				+ ((lpnIndex == null) ? 0 : lpnIndex.hashCode());
		result = prime * result
				+ ((tranIndex == null) ? 0 : tranIndex.hashCode());
		return result;
	}

	@Override
	public boolean equals(Object obj) {
		if (this == obj)
			return true;
		if (obj == null)
			return false;
		if (getClass() != obj.getClass())
			return false;
		LpnTransitionPair other = (LpnTransitionPair) obj;
		if (lpnIndex == null) {
			if (other.lpnIndex != null)
				return false;
		} else if (!lpnIndex.equals(other.lpnIndex))
			return false;
		if (tranIndex == null) {
			if (other.tranIndex != null)
				return false;
		} else if (!tranIndex.equals(other.tranIndex))
			return false;
		return true;
	}

	@Override
	public String toString() {
		return "LpnTransitionPair [lpnIndex=" + lpnIndex + ", tranIndex="
				+ tranIndex + "]";
	}
}

{'fraction_non_alphanumeric': 0.11497326203208556, 'fraction_numerical': 0.0035650623885918, 'mean_word_length': 3.81, 'pattern_counts': {'":': 0, '<': 9, '<?xml version=': 0, '>': 9, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2768254', 'n_tokens_mistral': 1285, 'n_tokens_neox': 1134, 'n_words': 279}