newground.aggregate_strategies.count_aggregate_helper module
Helper class for the count and RELATED aggregates. I.e., it implements some commonly used methods, used also by other aggregates.
- class newground.aggregate_strategies.count_aggregate_helper.CountAggregateHelper
Bases:
object
Helper class for the count aggregate.
- classmethod all_diff_generator(all_diff_list_terms, upper)
Method that generates all helper literals/comparisons for the alldiff/all_diff predicate.
- classmethod check_string_is_int(string)
Method that checks whether a string can be converted to an integer.
- classmethod generate_all_diff_predicates(terms)
Generate the alldiff predicates.