newground.aggregate_strategies.rm_case module

Module which handles the RM-Case.

class newground.aggregate_strategies.rm_case.RMCase

Bases: object

Class which handles the RM-Case.

classmethod handle_rm_case(aggregate_dict, variable_dependencies, guard_domain, operator_type)

Method which handles the RM-Case.