newground.aggregate_strategies.replace_aggregate_strategy module

Module for the RA-strategy.

class newground.aggregate_strategies.replace_aggregate_strategy.ReplaceAggregateStrategy

Bases: object

Class for the RA-strategy.

classmethod replace_aggregate_strategy(aggregate, variables_dependencies_aggregate, grounding_mode)

Method which generates all necessary rules/etc. for the RA-strategy.