Package | Description |
---|---|
cz.cuni.mff.corrector.corrector |
Implementations of correction algorithms.
|
cz.cuni.mff.corrector.execution |
Supporting classes for corrector implementations.
|
cz.cuni.mff.corrector.graph |
Correction multigraphs implementation.
|
cz.cuni.mff.corrector.repair |
Objects for encapsulating computed repairs.
|
Modifier and Type | Field and Description |
---|---|
protected Repair |
Corrector.treeRepair
Reference to the repair of the entire data tree.
|
Modifier and Type | Field and Description |
---|---|
protected Store<Repair> |
Corrector.repairsCache
Internal store for managing computed repairs by their signatures.
|
Modifier and Type | Method and Description |
---|---|
protected Repair |
Handler.acquireInvokingSingle(Intent nestedIntent)
Fetches the required repair or requests its invoked execution.
|
protected Repair |
Handler.acquireNestingSingle(Intent nestedIntent)
Fetches the required repair or requests its nested execution.
|
protected Repair |
Handler.acquireSchedulingSingle(Requests requestsData,
Intent nestedIntent,
Edge nestedEdge)
Fetches the required repair or requests its scheduled execution.
|
Repair |
Corrector.fetchStoredRepair(Intent requiredIntent)
Attempts to fetch the required intent repair from the store.
|
Repair |
Corrector.getTreeRepair()
Returns the reference to the repair of the entire data tree.
|
Modifier and Type | Method and Description |
---|---|
protected java.util.List<Repair> |
Handler.acquireInvokingMultiple(java.util.List<Intent> nestedIntents)
Fetches the required repairs or requests their invoked execution.
|
protected java.util.List<Repair> |
Handler.acquireSchedulingMultiple(Requests requestsData,
java.util.List<Intent> nestedIntents,
java.util.List<Edge> nestedEdges)
Fetches the required repairs or requests their scheduled execution.
|
Modifier and Type | Method and Description |
---|---|
protected void |
Handler.doEdgeClosing(Edge nestedEdge,
Repair nestedRepair)
Closes the exploration of a given edge and its correction intent.
|
void |
Corrector.storeComputedRepair(Repair computedRepair)
Inserts the provided computed repair into the repairs cache.
|
Modifier and Type | Field and Description |
---|---|
protected Repair |
Task.intentRepair
Reference to the associated intent repair structure.
|
Repair |
Wrapper.repairReference
Optional reference to the associated intent repair structure.
|
Modifier and Type | Method and Description |
---|---|
Repair |
Task.getIntentRepair()
Returns the reference to the computed intent repair.
|
Constructor and Description |
---|
Wrapper(Repair repairReference)
Creates a new wrapper instance from the provided repair.
|
Modifier and Type | Method and Description |
---|---|
Repair |
Edge.getIntentRepair()
Returns the optional reference to the nested intent repair.
|
Modifier and Type | Method and Description |
---|---|
void |
Edge.setEdgeRepair(Repair intentRepair)
Registers the provided nested intent repair structure.
|
Modifier and Type | Method and Description |
---|---|
protected void |
Repair.gatherInvolvedRepairs(java.util.Map<java.lang.String,Repair> nestedRepairs)
Collects all nested intent repairs that are involved in shortest paths.
|
protected void |
Repair.gatherInvolvedRepairs(java.util.Map<java.lang.String,Repair> nestedRepairs,
java.util.List<java.util.List<Edge>> shortestPaths)
Collects all nested intent repairs that are involved in shortest paths.
|