#include "storm-config.h"
#include "test/storm_gtest.h"
#include "storm/exceptions/InvalidArgumentException.h"
#include "storm/exceptions/OutOfRangeException.h"
#include "storm/storage/BitVector.h"

Include dependency graph for BitVectorTest.cpp:

Functions
	TEST (BitVectorTest, InitToZero)
	TEST (BitVectorTest, InitToOne)
	TEST (BitVectorTest, InitFromIterator)
	TEST (BitVectorTest, InitFromIntVector)
	TEST (BitVectorTest, GetSet)
	TEST (BitVectorTest, GetAsInt)
	TEST (BitVectorTest, SetFromInt)
	TEST (BitVectorTest, GetSetInt)
	TEST (BitVectorDeathTest, GetSetAssertion)
	TEST (BitVectorTest, Resize)
	TEST (BitVectorTest, OperatorAnd)
	TEST (BitVectorTest, OperatorAndEqual)
	TEST (BitVectorTest, OperatorOr)
	TEST (BitVectorTest, OperatorOrEqual)
	TEST (BitVectorTest, OperatorXor)
	TEST (BitVectorTest, OperatorModulo)
	TEST (BitVectorTest, OperatorNot)
	TEST (BitVectorTest, Complement)
	TEST (BitVectorTest, Increment)
	TEST (BitVectorTest, permute)
	TEST (BitVectorTest, permuteGrouped)
	TEST (BitVectorTest, Implies)
	TEST (BitVectorTest, Subset)
	TEST (BitVectorTest, Disjoint)
	TEST (BitVectorTest, Empty)
	TEST (BitVectorTest, Full)
	TEST (BitVectorTest, NumberOfSetBits)
	TEST (BitVectorTest, NumberOfSetBitsBeforeIndex)
	TEST (BitVectorTest, BeginEnd)
	TEST (BitVectorTest, NextSetIndex)
	TEST (BitVectorTest, NextUnsetIndex)
	TEST (BitVectorTest, SequenceBefore)
	TEST (BitVectorTest, Iterator)
	TEST (BitVectorTest, ReverseIterator)
	TEST (BitVectorTest, CompareAndSwap)
	TEST (BitVectorTest, Concat)
	TEST (BitVectorTest, Expand)
	TEST (BitVectorTest, Assignment)
	TEST (BitVectorTest, ZeroSized)

Function Documentation

◆ TEST() [1/39]

TEST	(	BitVectorDeathTest	,
		GetSetAssertion	)

Definition at line 137 of file BitVectorTest.cpp.

◆ TEST() [2/39]

TEST	(	BitVectorTest	,
		Assignment	)

Definition at line 654 of file BitVectorTest.cpp.

◆ TEST() [3/39]

TEST	(	BitVectorTest	,
		BeginEnd	)

Definition at line 520 of file BitVectorTest.cpp.

◆ TEST() [4/39]

TEST	(	BitVectorTest	,
		CompareAndSwap	)

Definition at line 617 of file BitVectorTest.cpp.

◆ TEST() [5/39]

TEST	(	BitVectorTest	,
		Complement	)

Definition at line 344 of file BitVectorTest.cpp.

◆ TEST() [6/39]

TEST	(	BitVectorTest	,
		Concat	)

Definition at line 630 of file BitVectorTest.cpp.

◆ TEST() [7/39]

TEST	(	BitVectorTest	,
		Disjoint	)

Definition at line 454 of file BitVectorTest.cpp.

◆ TEST() [8/39]

TEST	(	BitVectorTest	,
		Empty	)

Definition at line 470 of file BitVectorTest.cpp.

◆ TEST() [9/39]

TEST	(	BitVectorTest	,
		Expand	)

Definition at line 643 of file BitVectorTest.cpp.

◆ TEST() [10/39]

TEST	(	BitVectorTest	,
		Full	)

Definition at line 485 of file BitVectorTest.cpp.

◆ TEST() [11/39]

TEST	(	BitVectorTest	,
		GetAsInt	)

Definition at line 71 of file BitVectorTest.cpp.

◆ TEST() [12/39]

TEST	(	BitVectorTest	,
		GetSet	)

Definition at line 59 of file BitVectorTest.cpp.

◆ TEST() [13/39]

TEST	(	BitVectorTest	,
		GetSetInt	)

Definition at line 130 of file BitVectorTest.cpp.

◆ TEST() [14/39]

TEST	(	BitVectorTest	,
		Implies	)

Definition at line 420 of file BitVectorTest.cpp.

◆ TEST() [15/39]

TEST	(	BitVectorTest	,
		Increment	)

Definition at line 360 of file BitVectorTest.cpp.

◆ TEST() [16/39]

TEST	(	BitVectorTest	,
		InitFromIntVector	)

Definition at line 44 of file BitVectorTest.cpp.

◆ TEST() [17/39]

TEST	(	BitVectorTest	,
		InitFromIterator	)

Definition at line 29 of file BitVectorTest.cpp.

◆ TEST() [18/39]

TEST	(	BitVectorTest	,
		InitToOne	)

Definition at line 19 of file BitVectorTest.cpp.

◆ TEST() [19/39]

TEST	(	BitVectorTest	,
		InitToZero	)

Definition at line 8 of file BitVectorTest.cpp.

◆ TEST() [20/39]

TEST	(	BitVectorTest	,
		Iterator	)

Definition at line 587 of file BitVectorTest.cpp.

◆ TEST() [21/39]

TEST	(	BitVectorTest	,
		NextSetIndex	)

Definition at line 534 of file BitVectorTest.cpp.

◆ TEST() [22/39]

TEST	(	BitVectorTest	,
		NextUnsetIndex	)

Definition at line 547 of file BitVectorTest.cpp.

◆ TEST() [23/39]

TEST	(	BitVectorTest	,
		NumberOfSetBits	)

Definition at line 500 of file BitVectorTest.cpp.

◆ TEST() [24/39]

TEST	(	BitVectorTest	,
		NumberOfSetBitsBeforeIndex	)

Definition at line 510 of file BitVectorTest.cpp.

◆ TEST() [25/39]

TEST	(	BitVectorTest	,
		OperatorAnd	)

Definition at line 201 of file BitVectorTest.cpp.

◆ TEST() [26/39]

TEST	(	BitVectorTest	,
		OperatorAndEqual	)

Definition at line 219 of file BitVectorTest.cpp.

◆ TEST() [27/39]

TEST	(	BitVectorTest	,
		OperatorModulo	)

Definition at line 302 of file BitVectorTest.cpp.

◆ TEST() [28/39]

TEST	(	BitVectorTest	,
		OperatorNot	)

Definition at line 328 of file BitVectorTest.cpp.

◆ TEST() [29/39]

TEST	(	BitVectorTest	,
		OperatorOr	)

Definition at line 238 of file BitVectorTest.cpp.

◆ TEST() [30/39]

TEST	(	BitVectorTest	,
		OperatorOrEqual	)

Definition at line 257 of file BitVectorTest.cpp.

◆ TEST() [31/39]

TEST	(	BitVectorTest	,
		OperatorXor	)

Definition at line 276 of file BitVectorTest.cpp.

◆ TEST() [32/39]

TEST	(	BitVectorTest	,
		permute	)

Definition at line 402 of file BitVectorTest.cpp.

◆ TEST() [33/39]

TEST	(	BitVectorTest	,
		permuteGrouped	)

Definition at line 411 of file BitVectorTest.cpp.

◆ TEST() [34/39]

TEST	(	BitVectorTest	,
		Resize	)

Definition at line 149 of file BitVectorTest.cpp.

◆ TEST() [35/39]

TEST	(	BitVectorTest	,
		ReverseIterator	)

Definition at line 602 of file BitVectorTest.cpp.

◆ TEST() [36/39]

TEST	(	BitVectorTest	,
		SequenceBefore	)

Definition at line 562 of file BitVectorTest.cpp.

◆ TEST() [37/39]

TEST	(	BitVectorTest	,
		SetFromInt	)

Definition at line 97 of file BitVectorTest.cpp.

◆ TEST() [38/39]

TEST	(	BitVectorTest	,
		Subset	)

Definition at line 439 of file BitVectorTest.cpp.

◆ TEST() [39/39]

TEST	(	BitVectorTest	,
		ZeroSized	)

Definition at line 661 of file BitVectorTest.cpp.

Functions