Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/diversity/StateCodeCoverageComparator.xtend


1
2
3
4
5
6
7
8

package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.diversity

abstract class StateCodeCoverageComparator<StateCodeType>{
	def public boolean covers(Object superStateCode, Object subStateCode) {
		return innerCover(superStateCode as StateCodeType, subStateCode as StateCodeType)
	}
	abstract def protected boolean innerCover(StateCodeType superStateCode, StateCodeType subStateCode)
}