|
jInfer | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcz.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 | |||||||||