DftSymmetries

class DftSymmetries(self: stormpy.dft.DftSymmetries)

Bases: pybind11_object

Symmetries in DFT

Constructor for empty symmetry

get_group(

self: stormpy.dft.DftSymmetries,

index: SupportsInt | SupportsIndex,

) → list[list[int]]

Get symmetry group