Package org.svvrl.goal.core.comp.rank

  • Class Summary 
    Class Description
    LevelRanking
    This class provides an implementation of level rankings.
    RankConstruction
    This class provides an implementation of the rank-based construction [KV01, GKSV03, FKV06, Sch09].
    RankState
    This class provide an implementation of states in the complements constructed by the rank-based construction.