Class ConflictElement


  • public class ConflictElement
    extends java.lang.Object
    • Constructor Detail

      • ConflictElement

        public ConflictElement​(int conflictingConstraintId,
                               int[] involvedParameters,
                               int[] conflictingValues)
    • Method Detail

      • getConflictingConstraintId

        public int getConflictingConstraintId()
      • getConflictingValues

        public int[] getConflictingValues()
      • getInvolvedParameters

        public int[] getInvolvedParameters()
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object