Package gov.nasa.jpl.aerie.merlin.protocol.model

Interface Condition

public interface Condition

  • Method Summary

    Modifier and Type
    Method
    Description
    Optional<Duration>
    nextSatisfied(Querier now, Duration atLatest)
    POSTCONDITION: The return value `x` satisfies `x.noLaterThan(atLatest)`.

  • Method Details

    • nextSatisfied

      Optional<Duration> nextSatisfied(Querier now, Duration atLatest)
      POSTCONDITION: The return value `x` satisfies `x.noLaterThan(atLatest)`.