sop-core-0.5.0.2: True Sums of Products

Index - P

para_SList Data.SOP.Sing , Data.SOP
POP
1 (Type/Class) Data.SOP.NP , Data.SOP
2 (Data Constructor) Data.SOP.NP , Data.SOP
Prod Data.SOP.Classes , Data.SOP
Projection Data.SOP.NP , Data.SOP
projections Data.SOP.NP , Data.SOP
Proxy
1 (Data Constructor) Data.SOP
2 (Type/Class) Data.SOP
pureAll Data.SOP.Dict
pureAll2 Data.SOP.Dict
pure_NP Data.SOP.NP
pure_POP Data.SOP.NP