Uses of Package
conexp.fx.core.context.temporal

Packages that use conexp.fx.core.context.temporal

Package	Description
conexp.fx.core.context.temporal

Classes in conexp.fx.core.context.temporal used by conexp.fx.core.context.temporal

Class and Description
LTL
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).