de.unima.alcomox.algorithms
Class ConflictStore

java.lang.Object
  de.unima.alcomox.algorithms.ConflictStore

public class ConflictStore
extends java.lang.Object

Field Summary

protected AlcomoLogger

log

Constructor Summary

ConflictStore(EfficientReasoner reasoner, Mapping mapping)
Construct a conflict store where some conflicts are precomputed due to efficient reasoning.

ConflictStore(Mapping mapping)
Constructs an empty conflict store where no efficient component is used for pre processing.

Method Summary

java.util.Set<java.lang.Integer>	getConflictingIndices(java.util.ArrayList<java.lang.Integer> indices) Checks whether there are still some conflicts unresolved with respect to a list of active correspondence indices.
java.util.Set<java.lang.Integer>	getConflictingIndices(IndexMarker m) Checks whether there are still some conflicts unresolved with respect to the index marker.
java.util.Set<java.lang.Integer>	getIndicesAndSetConflicts(Mapping mapping) Returns the indices that refer to the correspondences of a given mapping and sets these indices as additional conflicts.0000000000000
int	getNumOfInvolvedConflicts(int index, IndexMarker m)
int	getTopWeightedConflictingIndex(IndexMarker m) Computes the next index that has to be removed following a greedy strategy that first chooses according to conflicts in which a correspondence is involved, and next takes uses the confidence value.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

log

protected AlcomoLogger log

Constructor Detail

ConflictStore

public ConflictStore(EfficientReasoner reasoner,
                     Mapping mapping)

Construct a conflict store where some conflicts are precomputed due to efficient reasoning.

Parameters:

reasoner - The efficient reasoning component.

mapping - The mapping to be analyzed.

ConflictStore

public ConflictStore(Mapping mapping)

Constructs an empty conflict store where no efficient component is used for pre processing.

Parameters:

mapping - The mapping to be anaylzed.

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getConflictingIndices

public java.util.Set<java.lang.Integer> getConflictingIndices(IndexMarker m)

Checks whether there are still some conflicts unresolved with respect to the index marker.

Parameters:

m - An index marker which marks those correspondences active resp. passive in an mapping.

Returns:

A set of indices which refer to conflicting correspondences (a MUPS).

getTopWeightedConflictingIndex

public int getTopWeightedConflictingIndex(IndexMarker m)

Computes the next index that has to be removed following a greedy strategy that first chooses according to conflicts in which a correspondence is involved, and next takes uses the confidence value.

Parameters:

m - An index marker that defines the active correspondences

Returns:

The index of the correspondence that is involved in most conflicts and has the lowest confidence.

getNumOfInvolvedConflicts

public int getNumOfInvolvedConflicts(int index,
                                     IndexMarker m)

getConflictingIndices

public java.util.Set<java.lang.Integer> getConflictingIndices(java.util.ArrayList<java.lang.Integer> indices)

Checks whether there are still some conflicts unresolved with respect to a list of active correspondence indices.

Parameters:

indices - An arraylist of indices that contains all active correspondence indices.

Returns:

A set of indices which refer to conflicting correspondences (a MUPS).

getIndicesAndSetConflicts

public java.util.Set<java.lang.Integer> getIndicesAndSetConflicts(Mapping mapping)

Returns the indices that refer to the correspondences of a given mapping and sets these indices as additional conflicts.0000000000000

Parameters:

mapping - The mapping that is a minimal conflict set.

Returns:

The corresponding indices.