jInfer

cz.cuni.mff.ksi.jinfer.functionalDependencies
Class RepairStatistics

java.lang.Object
  extended by cz.cuni.mff.ksi.jinfer.functionalDependencies.RepairStatistics

public class RepairStatistics
extends Object

Class gathering all information from repairing for statistical purpose.


Constructor Summary
RepairStatistics()
           
 
Method Summary
 void collectData(Repair repair)
          Collect data for statistics from repair.
 int getNewValueCount()
          Get number of nodes that value was changed to newly generated one.
 int getRGCount()
          Get numer of repair groups used in repair.
 int getStartingRG()
          Get initial number of repair groups.
 int getUnreliableCount()
          Get number of nodes that were marked as unreliable.
 int getValueChangesCount()
          Get number of nodes that value was changed to value of another node.
 void setRepairGroup(int repairGroupsSize)
          Set the initial number of repair groups.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RepairStatistics

public RepairStatistics()
Method Detail

getUnreliableCount

public int getUnreliableCount()
Get number of nodes that were marked as unreliable.

Returns:
Number of nodes that were marked as unreliable.

getNewValueCount

public int getNewValueCount()
Get number of nodes that value was changed to newly generated one.

Returns:
Number of nodes that value was changed to newly generated one.

getValueChangesCount

public int getValueChangesCount()
Get number of nodes that value was changed to value of another node.

Returns:
Number of nodes that value was changed to value of another node.

collectData

public void collectData(Repair repair)
Collect data for statistics from repair.

Parameters:
repair - Repair from which is data collected.

setRepairGroup

public void setRepairGroup(int repairGroupsSize)
Set the initial number of repair groups.

Parameters:
repairGroupsSize - Number of repair groups to be set.

getStartingRG

public int getStartingRG()
Get initial number of repair groups.

Returns:
Initial number of repair groups.

getRGCount

public int getRGCount()
Get numer of repair groups used in repair.

Returns:
Numer of repair groups used in repair.

jInfer

Generated on Fri Dec 9 00:01:25 CET 2011