cnfgen.localtypes module

Functions to check the arguments types

any_int(value, name)

Check that value is an integer

non_negative_int(value, name)

Check that the value is a non negative

non_negative_int_seq(value, name)

Check that value is a positive integer

one_of_values(value, name, choices)

Check if the value is in a specific set

positive_int(value, name)

Check that value is a positive integer

positive_int_seq(value, name)

Check that value is a positive integer

probability_value(value, name)

Check that the value is a real between 0 and 1