Interface SolvableConflictModel

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

public interface SolvableConflictModel extends BaseModel
Represents a conflict accessible to the conflict solver
  • Method Details

    • setDescription

      void setDescription(String description)
      Sets description
      Parameters:
      description -
    • getDescription

      String getDescription()
      Returns:
      the description
    • setConflictingAssumptions

      void setConflictingAssumptions(List<ConflictingAssumptionModel> assumptions)
      Parameters:
      assumptions -
    • getConflictingAssumptions

      List<ConflictingAssumptionModel> getConflictingAssumptions()
      Returns:
      the conflictingAssumptions attached to this conflict
    • setId

      void setId(String id)
      Parameters:
      id - ID of solvable conflict
    • getId

      String getId()
      Returns:
      ID of conflict. Is not stable during multiple roundtrips to SSC