Enum LTL2DAFunction.Constructions