#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 647 of file BitVectorTest.cpp.

◆ TEST() [3/39]

TEST	(	BitVectorTest	,
		BeginEnd	)

Definition at line 513 of file BitVectorTest.cpp.

◆ TEST() [4/39]

TEST	(	BitVectorTest	,
		CompareAndSwap	)

Definition at line 610 of file BitVectorTest.cpp.

◆ TEST() [5/39]

TEST	(	BitVectorTest	,
		Complement	)

Definition at line 337 of file BitVectorTest.cpp.

◆ TEST() [6/39]

TEST	(	BitVectorTest	,
		Concat	)

Definition at line 623 of file BitVectorTest.cpp.

◆ TEST() [7/39]

TEST	(	BitVectorTest	,
		Disjoint	)

Definition at line 447 of file BitVectorTest.cpp.

◆ TEST() [8/39]

TEST	(	BitVectorTest	,
		Empty	)

Definition at line 463 of file BitVectorTest.cpp.

◆ TEST() [9/39]

TEST	(	BitVectorTest	,
		Expand	)

Definition at line 636 of file BitVectorTest.cpp.

◆ TEST() [10/39]

TEST	(	BitVectorTest	,
		Full	)

Definition at line 478 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 413 of file BitVectorTest.cpp.

◆ TEST() [15/39]

TEST	(	BitVectorTest	,
		Increment	)

Definition at line 353 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 580 of file BitVectorTest.cpp.

◆ TEST() [21/39]

TEST	(	BitVectorTest	,
		NextSetIndex	)

Definition at line 527 of file BitVectorTest.cpp.

◆ TEST() [22/39]

TEST	(	BitVectorTest	,
		NextUnsetIndex	)

Definition at line 540 of file BitVectorTest.cpp.

◆ TEST() [23/39]

TEST	(	BitVectorTest	,
		NumberOfSetBits	)

Definition at line 493 of file BitVectorTest.cpp.

◆ TEST() [24/39]

TEST	(	BitVectorTest	,
		NumberOfSetBitsBeforeIndex	)

Definition at line 503 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 295 of file BitVectorTest.cpp.

◆ TEST() [28/39]

TEST	(	BitVectorTest	,
		OperatorNot	)

Definition at line 321 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 395 of file BitVectorTest.cpp.

◆ TEST() [33/39]

TEST	(	BitVectorTest	,
		permuteGrouped	)

Definition at line 404 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 595 of file BitVectorTest.cpp.

◆ TEST() [36/39]

TEST	(	BitVectorTest	,
		SequenceBefore	)

Definition at line 555 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 432 of file BitVectorTest.cpp.

◆ TEST() [39/39]

TEST	(	BitVectorTest	,
		ZeroSized	)

Definition at line 654 of file BitVectorTest.cpp.

Functions