Interface ConflictingAssumptionModel

    • 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