static void normalize_tn(struct tetra_tdma_time *tm)
{
uint32_t fn_delta;
if (tm->tn > 4) {
fn_delta = tm->tn/4;
tm->tn = (tm->tn%4);
tm->fn += fn_delta;
}
normalize_fn(tm);
}
void tetra_tdma_time_add_fn(struct tetra_tdma_time *tm, uint32_t fn_count)
{
tm->fn += fn_count;
normalize_fn(tm);
}
expr normalize(environment const & env, level_param_names const & ls, expr const & e) {
auto tc = mk_type_checker(env, true);
bool save_cnstrs = false;
return normalize_fn(*tc, save_cnstrs)(ls, e);
}
expr normalize(type_checker & tc, expr const & e) {
bool save_cnstrs = false;
return normalize_fn(tc, save_cnstrs)(e);
}
expr normalize(environment const & env, expr const & e) {
auto tc = mk_type_checker(env, true);
bool save_cnstrs = false;
return normalize_fn(*tc, save_cnstrs)(e);
}