src.checker

Checker module.

Checks during execution that everything is working correctly (the outputs of the functions are mapping correctly and etc). Should be replaced by proper unit tests.

Undocumented.

Module Contents

Functions

is_valid_time(t)
is_in_H_t(t, f_t)
set_in_H_t(t, f_t)
is_in_H(f)
H_t_product(t, f_t, g_t)
H_t_product_full(f, g)
is_in_space_domain(x)

src.checker.is_valid_time(t)

src.checker.is_in_H_t(t, f_t)

src.checker.set_in_H_t(t, f_t)

src.checker.is_in_H(f)

src.checker.H_t_product(t, f_t, g_t)

src.checker.H_t_product_full(f, g)

src.checker.is_in_space_domain(x)