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.