"{ Package: 'stx:goodies/regression' }"

"{ NameSpace: RegressionTests }"

TestCase subclass:#PowerSetTests
	instanceVariableNames:''
	classVariableNames:''
	poolDictionaries:''
	category:'tests-Regression-Collections'
!


!PowerSetTests methodsFor:'testing'!

test01
    |s p|

    s := #(1 2 3) asSet.
    p := PowerSet for:s.

    p do:[:subSet | Transcript showCR:subSet].

    self assert:(p notEmpty).
    self assert:(p size = 8).     "/ [] [1] [2] [3] [1 2] [1 3] [2 3] [1 2 3]

    #(
	#()
	#(1)
	#(2)
	#(3)
	#(1 2)
	#(1 3)
	#(2 3)
	#(1 2 3)
    ) do:[:eachExpectedElement |
	self assert:(p includes: eachExpectedElement asSet).
    ].

    "
     self new test01
    "
!

test02
    |p|

    p := PowerSet for:(1 to:1000).

    self assert:(p notEmpty).
    self assert:(p size = (2 raisedTo:1000)).

    "
     self new test02
    "
! !

!PowerSetTests class methodsFor:'documentation'!

version
    ^ '$Header$'
! !