Class ConstraintMatch

    • Constructor Detail

      • ConstraintMatch

        public ConstraintMatch​(String constraintPackage,
                               String constraintName,
                               List<Object> justificationList,
                               Score score)
        Parameters:
        constraintPackage - never null
        constraintName - never null
        justificationList - never null, sometimes empty
        score - never null