#include <lifting.h>

Data Fields
meosType	argtype [MAX_ARGS]
	Type of the arguments of the function. More...

bool	discont
	True if the function has instantaneous discontinuities. More...

bool	ever
	True/false when computing the ever/always semantics. More...

varfunc	func
	Variadic function that is lifted. More...

bool	invert
	True if the arguments of the function must be inverted. More...

int	numparam
	Number of parameters of the function. More...

Datum	param [MAX_PARAMS]
	Datum array for the parameters of the function. More...

bool	reslinear
	True if the result has linear interpolation. More...

meosType	restype
	Type of the result of the function. More...

tpfunc_base	tpfn_base
	Turning point function for temporal and base types. More...

tpfunc_temp	tpfn_temp
	Turning point function for two temporal types. More...

The documentation for this struct was generated from the following file:

Data Fields