macros.h File Reference

Go to the source code of this file.

Functions
template<typename T >
three_valued_type	prop (T &trace, proposition &p, timespan &t)
template<typename T , typename E , timespan b>
three_valued_type	until_less (T &trace, timespan &t)
template<typename T , typename E , timespan b>
three_valued_type	eventually_equal (T &trace, timespan &t)
template<typename T , typename E , timespan b>
three_valued_type	eventually_less (T &trace, timespan &t)
template<typename T , typename E , timespan b>
three_valued_type	always_less (T &trace, timespan &t)

Function Documentation

always_less()

template<typename T , typename E , timespan b>

three_valued_type always_less	(	T &	trace,
		timespan &	t
	)

Always (<)

pre-processing

1) Until (=) is the same as A Until (=a) B <-> Always(<a) A and Eventually(=a) B

eventually_equal()

template<typename T , typename E , timespan b>

three_valued_type eventually_equal	(	T &	trace,
		timespan &	t
	)

Eventually(=)

pre-processing

1) Always (=) is equivalent to Eventually(=) (the evaluation at one point)

eventually_less()

template<typename T , typename E , timespan b>

three_valued_type eventually_less	(	T &	trace,
		timespan &	t
	)

Eventually (<)

prop()

template<typename T >

three_valued_type prop	(	T &	trace,
		proposition &	p,
		timespan &	t
	)

This header file contain the template to construct the RMTLD3 formulas in a modular wayProposition

until_less()

template<typename T , typename E , timespan b>

three_valued_type until_less	(	T &	trace,
		timespan &	t
	)

Until (<)