eafunc_tcontseq_tcontseq eafunc_tcontseq_tcontseq_discfn eafunc_tcontseq_tdiscseq eafunc_tcontseq_tinstant eafunc_tcontseq_tsequenceset eafunc_tdiscseq_tcontseq eafunc_tdiscseq_tdiscseq eafunc_tdiscseq_tinstant eafunc_tdiscseq_tsequenceset eafunc_tdiscstepseq_base eafunc_temporal_base eafunc_temporal_temporal eafunc_tinstant_base eafunc_tinstant_tcontseq eafunc_tinstant_tdiscseq eafunc_tinstant_tinstant eafunc_tinstant_tsequenceset eafunc_tlinearseq_base eafunc_tsequence_base eafunc_tsequenceset_base eafunc_tsequenceset_tcontseq eafunc_tsequenceset_tdiscseq eafunc_tsequenceset_tinstant eafunc_tsequenceset_tsequenceset eafunc_tstepseq_tstepseq lfinfo_invert_args tfunc_base tfunc_base_base tfunc_tcontseq_tcontseq tfunc_tcontseq_tcontseq_discfn tfunc_tcontseq_tcontseq_dispatch tfunc_tcontseq_tcontseq_single tfunc_tcontseq_tdiscseq tfunc_tcontseq_tinstant tfunc_tcontseq_tsequenceset tfunc_tdiscseq_tcontseq tfunc_tdiscseq_tdiscseq tfunc_tdiscseq_tinstant tfunc_tdiscseq_tsequenceset tfunc_temporal tfunc_temporal_base tfunc_temporal_temporal tfunc_tinstant tfunc_tinstant_base tfunc_tinstant_tcontseq tfunc_tinstant_tdiscseq tfunc_tinstant_tinstant tfunc_tinstant_tsequenceset tfunc_tlinearseq_base tfunc_tlinearseq_base_discfn tfunc_tlinearseq_base_turnpt tfunc_tlinearseq_tstepseq tfunc_tsequence tfunc_tsequence_base tfunc_tsequenceset tfunc_tsequenceset_base tfunc_tsequenceset_tcontseq tfunc_tsequenceset_tdiscseq tfunc_tsequenceset_tinstant tfunc_tsequenceset_tsequenceset

eafunc_tinstant_tinstant() static int eafunc_tinstant_tinstant ( const TInstant *  inst1, const TInstant *  inst2, LiftedFunctionInfo *  lfinfo  ) static Synchronize two temporal values and apply to them a lifted function. Parameters [in] inst1,inst2 Temporal values [in] lfinfo Information about the lifted function