Package ltl

Evaluate formulas in Linear Temporal Logic (LTL) in the form of BeepBeep pipelines. More...

Classes
class	EventuallySimple
	Basic usage of LTL's Eventually processor. More...
class	GloballySimple
	Basic usage of LTL's Globally processor. More...
class	Nested
	Basic usage of LTL's Until processor. More...
class	NextSimple
	Basic usage of LTL's Next processor. More...
class	OpenClose
	Using an LTL expression to filter events in an input stream. More...
class	UntilSimple
	Basic usage of LTL's Until processor. More...

Detailed Description

Evaluate formulas in Linear Temporal Logic (LTL) in the form of BeepBeep pipelines.

Author

Sylvain Hallé