Interface SolvableConflictModel
- All Superinterfaces:
BaseModel,Cloneable,Serializable
- All Known Implementing Classes:
SolvableConflictModelImpl
Represents a conflict accessible to the conflict solver
-
Method Summary
Modifier and TypeMethodDescriptiongetId()voidsetConflictingAssumptions(List<ConflictingAssumptionModel> assumptions) voidsetDescription(String description) Sets descriptionvoid
-
Method Details
-
setDescription
Sets description- Parameters:
description-
-
getDescription
String getDescription()- Returns:
- the description
-
setConflictingAssumptions
- Parameters:
assumptions-
-
getConflictingAssumptions
List<ConflictingAssumptionModel> getConflictingAssumptions()- Returns:
- the conflictingAssumptions attached to this conflict
-
setId
- Parameters:
id- ID of solvable conflict
-
getId
String getId()- Returns:
- ID of conflict. Is not stable during multiple roundtrips to SSC
-