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

◆ TEST() [3/39]

TEST	(	BitVectorTest	,
		BeginEnd
	)

Definition at line 514 of file BitVectorTest.cpp.

◆ TEST() [4/39]

TEST	(	BitVectorTest	,
		CompareAndSwap
	)

Definition at line 611 of file BitVectorTest.cpp.

◆ TEST() [5/39]

TEST	(	BitVectorTest	,
		Complement
	)

Definition at line 338 of file BitVectorTest.cpp.

◆ TEST() [6/39]

TEST	(	BitVectorTest	,
		Concat
	)

Definition at line 624 of file BitVectorTest.cpp.

◆ TEST() [7/39]

TEST	(	BitVectorTest	,
		Disjoint
	)

Definition at line 448 of file BitVectorTest.cpp.

◆ TEST() [8/39]

TEST	(	BitVectorTest	,
		Empty
	)

Definition at line 464 of file BitVectorTest.cpp.

◆ TEST() [9/39]

TEST	(	BitVectorTest	,
		Expand
	)

Definition at line 637 of file BitVectorTest.cpp.

◆ TEST() [10/39]

TEST	(	BitVectorTest	,
		Full
	)

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

◆ TEST() [15/39]

TEST	(	BitVectorTest	,
		Increment
	)

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

◆ TEST() [21/39]

TEST	(	BitVectorTest	,
		NextSetIndex
	)

Definition at line 528 of file BitVectorTest.cpp.

◆ TEST() [22/39]

TEST	(	BitVectorTest	,
		NextUnsetIndex
	)

Definition at line 541 of file BitVectorTest.cpp.

◆ TEST() [23/39]

TEST	(	BitVectorTest	,
		NumberOfSetBits
	)

Definition at line 494 of file BitVectorTest.cpp.

◆ TEST() [24/39]

TEST	(	BitVectorTest	,
		NumberOfSetBitsBeforeIndex
	)

Definition at line 504 of file BitVectorTest.cpp.

◆ TEST() [25/39]

TEST	(	BitVectorTest	,
		OperatorAnd
	)

Definition at line 202 of file BitVectorTest.cpp.

◆ TEST() [26/39]

TEST	(	BitVectorTest	,
		OperatorAndEqual
	)

Definition at line 220 of file BitVectorTest.cpp.

◆ TEST() [27/39]

TEST	(	BitVectorTest	,
		OperatorModulo
	)

Definition at line 296 of file BitVectorTest.cpp.

◆ TEST() [28/39]

TEST	(	BitVectorTest	,
		OperatorNot
	)

Definition at line 322 of file BitVectorTest.cpp.

◆ TEST() [29/39]

TEST	(	BitVectorTest	,
		OperatorOr
	)

Definition at line 239 of file BitVectorTest.cpp.

◆ TEST() [30/39]

TEST	(	BitVectorTest	,
		OperatorOrEqual
	)

Definition at line 258 of file BitVectorTest.cpp.

◆ TEST() [31/39]

TEST	(	BitVectorTest	,
		OperatorXor
	)

Definition at line 277 of file BitVectorTest.cpp.

◆ TEST() [32/39]

TEST	(	BitVectorTest	,
		permute
	)

Definition at line 396 of file BitVectorTest.cpp.

◆ TEST() [33/39]

TEST	(	BitVectorTest	,
		permuteGrouped
	)

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

◆ TEST() [36/39]

TEST	(	BitVectorTest	,
		SequenceBefore
	)

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

◆ TEST() [39/39]

TEST	(	BitVectorTest	,
		ZeroSized
	)

Definition at line 655 of file BitVectorTest.cpp.

Functions