Package randoop.operation

Class TypedOperation.RankedTypeOperation

java.lang.Object
randoop.operation.TypedOperation.RankedTypeOperation
Enclosing class:
TypedOperation
public static class TypedOperation.RankedTypeOperation extends Object
RankedTypedOperation is a wrapper around a TypedOperation and a number. The number represents a ranking or priority. The purpose of this class is to be put in a priority queue.

  • Field Details

    • ranking

      public final double ranking
      Ranking value for the TypedOperation.

    • operation

      public final TypedClassOperation operation
      The wrapped operation.

  • Constructor Details

    • RankedTypeOperation

      public RankedTypeOperation(double ranking, TypedClassOperation operation)
      Constructor to populate ranking and operation.
      Parameters:
      ranking - value associated with the operation
      operation - wrapped operation