Interface IOracle

  • All Known Implementing Classes:
    InteractiveOracle, RandomOracle

    public interface IOracle
    Oracle to choose a value
    Version:
    $Rev$
    Author:
    herrmama, $Author$
    • Method Detail

      • choose

        <V> V choose​(Instance context,
                     List<V> values,
                     String message)
        Choose a value.
        Type Parameters:
        V - Type of the value
        Parameters:
        context - The context instance
        values - The values to choose from
        message - A message
        Returns:
        Choice The chosen value