babase.ranker.ranking
Class RankingChangeEvent.Permute

java.lang.Object
  extended by babase.ranker.ranking.RankingChangeEvent
      extended by babase.ranker.ranking.RankingChangeEvent.Permute
Enclosing class:
RankingChangeEvent

public static class RankingChangeEvent.Permute
extends RankingChangeEvent

An event representing the operation of permuting the entire ranking, caused by Ranking.permute(int[], Object).

Author:
junyang

Nested Class Summary
 
Nested classes/interfaces inherited from class babase.ranker.ranking.RankingChangeEvent
RankingChangeEvent.Permute, RankingChangeEvent.Slide, RankingChangeEvent.Swap
 
Field Summary
 int[] after
          The state of the ranking immediately after the permutation.
 int[] before
          The state of the ranking immediately before the permutation.
 
Fields inherited from class babase.ranker.ranking.RankingChangeEvent
ranks, source
 
Constructor Summary
RankingChangeEvent.Permute(java.lang.Object permuter, Ranking ranks, int[] before, int[] after)
           
 
Method Summary
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

before

public final int[] before
The state of the ranking immediately before the permutation.


after

public final int[] after
The state of the ranking immediately after the permutation.

Constructor Detail

RankingChangeEvent.Permute

public RankingChangeEvent.Permute(java.lang.Object permuter,
                                  Ranking ranks,
                                  int[] before,
                                  int[] after)
Parameters:
permuter -
ranks -
before -
after -
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object