Interface ConflictingAssumptionModel
-
- All Known Implementing Classes:
ConflictingAssumptionModelImpl
public interface ConflictingAssumptionModelConflicting assumption (part of aSolvableConflictModelwhich can be retracted
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.lang.StringgetCsticName()java.lang.StringgetId()java.lang.StringgetInstanceId()java.lang.StringgetValueName()voidsetCsticName(java.lang.String csticName)voidsetId(java.lang.String assumptionId)voidsetInstanceId(java.lang.String instanceId)voidsetValueName(java.lang.String valueName)
-
-
-
Method Detail
-
setCsticName
void setCsticName(java.lang.String csticName)
- Parameters:
csticName-
-
getCsticName
java.lang.String getCsticName()
- Returns:
- Language independent name of cstic which causes the conflicting assumption
-
setValueName
void setValueName(java.lang.String valueName)
- Parameters:
valueName-
-
getValueName
java.lang.String getValueName()
- Returns:
- Language independent name of value which causes the conflicting assumption
-
setInstanceId
void setInstanceId(java.lang.String instanceId)
- Parameters:
instanceId-
-
getInstanceId
java.lang.String getInstanceId()
- Returns:
- the instanceId
-
setId
void setId(java.lang.String assumptionId)
- Parameters:
assumptionId-
-
getId
java.lang.String getId()
- Returns:
- Assumption ID
-
-