Interface ConflictingAssumptionModel

All Superinterfaces:
BaseModel, Cloneable, Serializable
All Known Implementing Classes:
ConflictingAssumptionModelImpl

public interface ConflictingAssumptionModel extends BaseModel
Conflicting assumption (part of a SolvableConflictModel which can be retracted
  • Method Details

    • setCsticName

      void setCsticName(String csticName)
      Parameters:
      csticName -
    • getCsticName

      String getCsticName()
      Returns:
      Language independent name of cstic which causes the conflicting assumption
    • setValueName

      void setValueName(String valueName)
      Parameters:
      valueName -
    • getValueName

      String getValueName()
      Returns:
      Language independent name of value which causes the conflicting assumption
    • setInstanceId

      void setInstanceId(String instanceId)
      Parameters:
      instanceId -
    • getInstanceId

      String getInstanceId()
      Returns:
      the instanceId
    • setId

      void setId(String assumptionId)
      Parameters:
      assumptionId -
    • getId

      String getId()
      Returns:
      Assumption ID