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.