Uses of Class
eu.iv4xr.framework.extensions.ltl.SequencePredicate

Packages that use SequencePredicate

Package	Description
eu.iv4xr.framework.extensions.ltl	This package provides the following features: The classes LTL and BoundedLTL implementing Linear Temporal Logic formulas, and the bounded variation of them.

Uses of SequencePredicate in eu.iv4xr.framework.extensions.ltl

Subclasses of SequencePredicate in eu.iv4xr.framework.extensions.ltl

Modifier and Type	Class	Description
class	BoundedLTL	Bounded LTL is a variation of LTL.
class	LTL<State>	Provides a representation LTL formulas and a DSL for constructing them.
static class	LTL.And<State>
static class	LTL.Next<State>
static class	LTL.Not<State>
static class	LTL.Now<State>
static class	LTL.Or<State>	For representing "phi || psi".
static class	LTL.Until<State>
static class	LTL.WeakUntil<State>	Weak-until is not primitive in LTL-sense, but we add it as a separate class so that we can structurally recognize that a formula is a weak-until formula.