Package org.episteme.core.mathematics.logic.temporal

package org.episteme.core.mathematics.logic.temporal
  • Class
    Description
    CTL<S,P>
    Computation Tree Logic (CTL).
    LTL
    Linear Temporal Logic (LTL) implementation.
    TemporalLogic<T>
    Temporal logic for reasoning about time and sequence of events.
    TemporalOperator
    Standard temporal logic operators (LTL/CTL).