newground.aggregate_transformer module
Transformer that transforms the aggregates according to newground.
- class newground.aggregate_transformer.AggregateTransformer(*args: Any, **kwargs: Any)
Bases:
Transformer
Transformer that transforms the aggregates according to newground.
- for_each_aggregate_condition(element_dict, condition_ast_list, condition_strings, condition)
For each aggregate condition the following code is executed.
- visit_BodyAggregate(node)
Visit body aggregate in clingo AST.
- visit_BodyAggregateElement(node, aggregate_dict=None)
Visit body-aggregate-element in clingo AST.
- visit_Function(node)
Visit function in clingo-AST.
- visit_Literal(node)
Visit literal in clingo-AST.
- visit_Minimize(node)
Visit minimize stm. in clingo-AST.
- visit_Program(node)
Visits the program in the Clingo-AST.
- visit_Rule(node)
Visit rule in clingo-AST.
- visit_Variable(node)
Visit variable in clingo-ast.