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