blob: 9a9446ba6a59839cac4bb10fbafb5b208b66c410 (
plain) (
blame)
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)
}
|