|
jInfer | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object cz.cuni.mff.ksi.jinfer.functionalDependencies.RepairStatistics
public class RepairStatistics
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 |
---|
public RepairStatistics()
Method Detail |
---|
public int getUnreliableCount()
public int getNewValueCount()
public int getValueChangesCount()
public void collectData(Repair repair)
repair
- Repair from which is data collected.public void setRepairGroup(int repairGroupsSize)
repairGroupsSize
- Number of repair groups to be set.public int getStartingRG()
public int getRGCount()
|
jInfer | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |