|
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.newRepairer.UserNodeSelection
public class UserNodeSelection
Class representing the previous repair candidate selected by the user.
Constructor Summary | |
---|---|
UserNodeSelection(RepairCandidate pickedRepair)
Constructor creating previous selection. |
Method Summary | |
---|---|
boolean |
existSubset(RepairCandidate repair,
double thresholdT)
Check if this selection contains subset of paths modifying the same nodes as provided candidate. |
Collection<String> |
getNodePaths()
Get paths of all nodes modified by this selection. |
int |
getNodeSize()
Get number of nodes this selection modifies. |
boolean |
isUsingSameOperation(RepairCandidate repair)
Check if the canidate pick by this selection use the same repair operation as provided candidate. |
boolean |
repairsSameFD(RepairCandidate repair)
Check if the canidate pick by this selection repairs the same functional dependency as provided candidate. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public UserNodeSelection(RepairCandidate pickedRepair)
pickedRepair
- Repair candidate that was picked by the user.Method Detail |
---|
public boolean repairsSameFD(RepairCandidate repair)
repair
- Repair candidate to be checked.
public boolean isUsingSameOperation(RepairCandidate repair)
repair
- Repair candidate to be checked.
public int getNodeSize()
public Collection<String> getNodePaths()
public boolean existSubset(RepairCandidate repair, double thresholdT)
repair
- Repair candidate to be checked.thresholdT
- Threshold t modifying required amount of the size of subset.
|
jInfer | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |