Package conexp.fx.core.context.temporal

Class Summary

Class	Description
LTL<M>
TemporalContext<G,M>

Enum Summary

Enum	Description
LTL.Type	This enumeration defines the available types for linear temporal logic, that are NOW (emulates the current timepoint just for code convienience), NEXTW (weak next), NEXTS (strong next), SOMETIMES (sometimes in the future), ALWAYS (always in the future), UNTILW (weak until), and UNTILS (strong until).