newground.cyclic_strategy module

Enum for different cyclic-strategies.

class newground.cyclic_strategy.CyclicStrategy(value, names=None, *, module=None, qualname=None, type=None, start=1, boundary=None)

Bases: Enum

Enum for different cyclic-strategies.

ASSUME_TIGHT = 1

LEVEL_MAPPING = 2

LEVEL_MAPPING_AAAI = 4

SHARED_CYCLE_BODY_PREDICATES = 3