Interface SolvableConflictModel

  • All Known Implementing Classes:
    SolvableConflictModelImpl

    public interface SolvableConflictModel
    Represents a conflict accessible to the conflict solver
    • Method Detail

      • setDescription

        void setDescription​(java.lang.String description)
        Sets description
        Parameters:
        description -
      • getDescription

        java.lang.String getDescription()
        Returns:
        the description
      • setConflictingAssumptions

        void setConflictingAssumptions​(java.util.List<ConflictingAssumptionModel> assumptions)
        Parameters:
        assumptions -
      • getConflictingAssumptions

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

        void setId​(java.lang.String id)
        Parameters:
        id - ID of solvable conflict
      • getId

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