efunc_temporal_temporal MAX_PARAMS tfunc_tdiscseq tfunc_tdiscseq_tdiscseq tfunc_temporal tfunc_temporal_base tfunc_temporal_temporal tfunc_tinstant tfunc_tinstant_base tfunc_tinstant_tinstant tfunc_tsequence tfunc_tsequence_base tfunc_tsequenceset tfunc_tsequenceset_base

tfunc_temporal_temporal() Temporal * tfunc_temporal_temporal ( const Temporal *  temp1, const Temporal *  temp2, LiftedFunctionInfo *  lfinfo  ) Synchronize the temporal values and apply to them the function. Parameters [in] temp1,temp2 Temporal values [in] lfinfo Information about the lifted function