Record Class STNU.STNUPhaseStatistics.PhaseStat

java.lang.Object
java.lang.Record
it.univr.di.cstnu.algorithms.STNU.STNUPhaseStatistics.PhaseStat
Record Components:
name - phase label (e.g., "M1").
timeNS - wall-clock time spent in the phase, in nanoseconds.
ord - number of edges carrying an ordinary value.
waitN - number of edges carrying a wait value. (Named waitN, not wait, because wait clashes with the final method Object.wait() and is not a legal record component name.)
contingent - number of contingent edges.
total - ord + waitN + contingent.
Enclosing class:
STNU.STNUPhaseStatistics
public static record STNU.STNUPhaseStatistics.PhaseStat(String name, long timeNS, int ord, int waitN, int contingent, int total) extends Record
One row of statistics for a single phase.
Version:
$Rev: 1178 $
Author:
Roberto Posenato

  • Constructor Summary

    Constructors
    Constructor
    Description
    PhaseStat(String name, long timeNS, int ord, int waitN, int contingent, int total)
    Creates an instance of a PhaseStat record class.

  • Method Summary

    Modifier and Type
    Method
    Description
    int
    contingent()
    Returns the value of the contingent record component.
    final boolean
    equals(Object o)
    Indicates whether some other object is "equal to" this one.
    final int
    hashCode()
    Returns a hash code value for this object.
    String
    name()
    Returns the value of the name record component.
    int
    ord()
    Returns the value of the ord record component.
    long
    timeNS()
    Returns the value of the timeNS record component.
    final String
    toString()
    Returns a string representation of this record class.
    int
    total()
    Returns the value of the total record component.
    int
    waitN()
    Returns the value of the waitN record component.

    Methods inherited from class Object

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

  • Constructor Details

    • PhaseStat

      public PhaseStat(String name, long timeNS, int ord, int waitN, int contingent, int total)
      Creates an instance of a PhaseStat record class.
      Parameters:
      name - the value for the name record component
      timeNS - the value for the timeNS record component
      ord - the value for the ord record component
      waitN - the value for the waitN record component
      contingent - the value for the contingent record component
      total - the value for the total record component

  • Method Details

    • 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.

    • name

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

    • timeNS

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

    • ord

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

    • waitN

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

    • contingent

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

    • total

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