Record Class DisjunctMatrixValidationResult

java.lang.Object
java.lang.Record
com.knezevic.edaf.v3.problems.discrete.disjunct.DisjunctMatrixValidationResult
public record DisjunctMatrixValidationResult(String definition, DisjunctMatrixValidationMode mode, boolean valid, boolean exact, long evaluatedSubsets, long totalSubsets, long violatingSubsets, double estimatedViolationRate, double confidenceLevel, double errorBound, double violationRateUpperBound, int witnessDeviation, int[] witnessSubset, String message) extends Record
Structured validation outcome for DM/RM/ADM definitions.

When exact=true, valid is mathematically exact. In sampled mode, valid=true means no violating subset was observed and the returned confidence bound quantifies residual uncertainty.

  • Constructor Summary

    Constructors
    Constructor
    Description
    DisjunctMatrixValidationResult(String definition, DisjunctMatrixValidationMode mode, boolean valid, boolean exact, long evaluatedSubsets, long totalSubsets, long violatingSubsets, double estimatedViolationRate, double confidenceLevel, double errorBound, double violationRateUpperBound, int witnessDeviation, int[] witnessSubset, String message)
    Creates an instance of a DisjunctMatrixValidationResult record class.

  • Method Summary

    Modifier and Type
    Method
    Description
    double
    confidenceLevel()
    Returns the value of the confidenceLevel record component.
    String
    definition()
    Returns the value of the definition record component.
    final boolean
    equals(Object o)
    Indicates whether some other object is "equal to" this one.
    double
    errorBound()
    Returns the value of the errorBound record component.
    double
    estimatedViolationRate()
    Returns the value of the estimatedViolationRate record component.
    long
    evaluatedSubsets()
    Returns the value of the evaluatedSubsets record component.
    boolean
    exact()
    Returns the value of the exact record component.
    final int
    hashCode()
    Returns a hash code value for this object.
    boolean
    hasWitness()
    Returns true only when a concrete violating subset witness was discovered.
    String
    message()
    Returns the value of the message record component.
    DisjunctMatrixValidationMode
    mode()
    Returns the value of the mode record component.
    final String
    toString()
    Returns a string representation of this record class.
    long
    totalSubsets()
    Returns the value of the totalSubsets record component.
    boolean
    valid()
    Returns the value of the valid record component.
    long
    violatingSubsets()
    Returns the value of the violatingSubsets record component.
    double
    violationRateUpperBound()
    Returns the value of the violationRateUpperBound record component.
    int
    witnessDeviation()
    Returns the value of the witnessDeviation record component.
    int[]
    witnessSubset()
    Returns the value of the witnessSubset record component.

    Methods inherited from class java.lang.Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • DisjunctMatrixValidationResult

      public DisjunctMatrixValidationResult(String definition, DisjunctMatrixValidationMode mode, boolean valid, boolean exact, long evaluatedSubsets, long totalSubsets, long violatingSubsets, double estimatedViolationRate, double confidenceLevel, double errorBound, double violationRateUpperBound, int witnessDeviation, int[] witnessSubset, String message)
      Creates an instance of a DisjunctMatrixValidationResult record class.
      Parameters:
      definition - the value for the definition record component
      mode - the value for the mode record component
      valid - the value for the valid record component
      exact - the value for the exact record component
      evaluatedSubsets - the value for the evaluatedSubsets record component
      totalSubsets - the value for the totalSubsets record component
      violatingSubsets - the value for the violatingSubsets record component
      estimatedViolationRate - the value for the estimatedViolationRate record component
      confidenceLevel - the value for the confidenceLevel record component
      errorBound - the value for the errorBound record component
      violationRateUpperBound - the value for the violationRateUpperBound record component
      witnessDeviation - the value for the witnessDeviation record component
      witnessSubset - the value for the witnessSubset record component
      message - the value for the message record component

  • Method Details

    • hasWitness

      public boolean hasWitness()
      Returns true only when a concrete violating subset witness was discovered.

    • toString

      public final String toString()
      Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.
      Specified by:
      toString in class Record
      Returns:
      a string representation of this object

    • hashCode

      public final int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object

    • equals

      public final boolean equals(Object o)
      Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. Reference components are compared with Objects::equals(Object,Object); primitive components are compared with the compare method from their corresponding wrapper classes.
      Specified by:
      equals in class Record
      Parameters:
      o - the object with which to compare
      Returns:
      true if this object is the same as the o argument; false otherwise.

    • definition

      public String definition()
      Returns the value of the definition record component.
      Returns:
      the value of the definition record component

    • mode

      public DisjunctMatrixValidationMode mode()
      Returns the value of the mode record component.
      Returns:
      the value of the mode record component

    • valid

      public boolean valid()
      Returns the value of the valid record component.
      Returns:
      the value of the valid record component

    • exact

      public boolean exact()
      Returns the value of the exact record component.
      Returns:
      the value of the exact record component

    • evaluatedSubsets

      public long evaluatedSubsets()
      Returns the value of the evaluatedSubsets record component.
      Returns:
      the value of the evaluatedSubsets record component

    • totalSubsets

      public long totalSubsets()
      Returns the value of the totalSubsets record component.
      Returns:
      the value of the totalSubsets record component

    • violatingSubsets

      public long violatingSubsets()
      Returns the value of the violatingSubsets record component.
      Returns:
      the value of the violatingSubsets record component

    • estimatedViolationRate

      public double estimatedViolationRate()
      Returns the value of the estimatedViolationRate record component.
      Returns:
      the value of the estimatedViolationRate record component

    • confidenceLevel

      public double confidenceLevel()
      Returns the value of the confidenceLevel record component.
      Returns:
      the value of the confidenceLevel record component

    • errorBound

      public double errorBound()
      Returns the value of the errorBound record component.
      Returns:
      the value of the errorBound record component

    • violationRateUpperBound

      public double violationRateUpperBound()
      Returns the value of the violationRateUpperBound record component.
      Returns:
      the value of the violationRateUpperBound record component

    • witnessDeviation

      public int witnessDeviation()
      Returns the value of the witnessDeviation record component.
      Returns:
      the value of the witnessDeviation record component

    • witnessSubset

      public int[] witnessSubset()
      Returns the value of the witnessSubset record component.
      Returns:
      the value of the witnessSubset record component

    • message

      public String message()
      Returns the value of the message record component.
      Returns:
      the value of the message record component