Interface ConflictingAssumptionModel
- All Superinterfaces:
BaseModel,Cloneable,Serializable
- All Known Implementing Classes:
ConflictingAssumptionModelImpl
Conflicting assumption (part of a
SolvableConflictModel which can be retracted-
Method Summary
Modifier and TypeMethodDescriptiongetId()voidsetCsticName(String csticName) voidvoidsetInstanceId(String instanceId) voidsetValueName(String valueName)
-
Method Details
-
setCsticName
- Parameters:
csticName-
-
getCsticName
String getCsticName()- Returns:
- Language independent name of cstic which causes the conflicting assumption
-
setValueName
- Parameters:
valueName-
-
getValueName
String getValueName()- Returns:
- Language independent name of value which causes the conflicting assumption
-
setInstanceId
- Parameters:
instanceId-
-
getInstanceId
String getInstanceId()- Returns:
- the instanceId
-
setId
- Parameters:
assumptionId-
-
getId
String getId()- Returns:
- Assumption ID
-