lfinfo_invert sync_tfunc_temporal_temporal sync_tfunc_tinstant_tinstant sync_tfunc_tinstant_tinstantset sync_tfunc_tinstant_tsequence sync_tfunc_tinstant_tsequenceset sync_tfunc_tinstantset_tinstant sync_tfunc_tinstantset_tinstantset sync_tfunc_tinstantset_tsequence sync_tfunc_tinstantset_tsequenceset sync_tfunc_tsequence_tinstant sync_tfunc_tsequence_tinstantset sync_tfunc_tsequence_tsequence sync_tfunc_tsequence_tsequence_discont sync_tfunc_tsequence_tsequence_dispatch sync_tfunc_tsequence_tsequence_lineareq sync_tfunc_tsequence_tsequence_linearstep sync_tfunc_tsequence_tsequenceset sync_tfunc_tsequenceset_tinstant sync_tfunc_tsequenceset_tinstantset sync_tfunc_tsequenceset_tsequence sync_tfunc_tsequenceset_tsequenceset tfunc_base tfunc_base_base tfunc_temporal tfunc_temporal_base tfunc_tinstant tfunc_tinstant_base tfunc_tinstantset tfunc_tinstantset_base tfunc_tsequence tfunc_tsequence_base tfunc_tsequence_base_discont tfunc_tsequence_base_scan tfunc_tsequence_base_turnpt tfunc_tsequenceset tfunc_tsequenceset_base

sync_tfunc_tinstantset_tinstant() static TInstant* sync_tfunc_tinstantset_tinstant ( const TInstantSet *  ti, const TInstant *  inst, LiftedFunctionInfo *  lfinfo  ) static Synchronizes the temporal values and applies to them the function. Parameters [in] ti,inst Temporal values [in] lfinfo Information about the lifted function