Interface SolvableConflictModel
-
- All Known Implementing Classes:
SolvableConflictModelImpl
public interface SolvableConflictModelRepresents a conflict accessible to the conflict solver
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.util.List<ConflictingAssumptionModel>getConflictingAssumptions()java.lang.StringgetDescription()java.lang.StringgetId()voidsetConflictingAssumptions(java.util.List<ConflictingAssumptionModel> assumptions)voidsetDescription(java.lang.String description)Sets descriptionvoidsetId(java.lang.String id)
-
-
-
Method Detail
-
setDescription
void setDescription(java.lang.String description)
Sets description- Parameters:
description-
-
getDescription
java.lang.String getDescription()
- Returns:
- the description
-
setConflictingAssumptions
void setConflictingAssumptions(java.util.List<ConflictingAssumptionModel> assumptions)
- Parameters:
assumptions-
-
getConflictingAssumptions
java.util.List<ConflictingAssumptionModel> getConflictingAssumptions()
- Returns:
- the conflictingAssumptions attached to this conflict
-
setId
void setId(java.lang.String id)
- Parameters:
id- ID of solvable conflict
-
getId
java.lang.String getId()
- Returns:
- ID of conflict. Is not stable during multiple roundtrips to SSC
-
-