#include "storm/exceptions/InvalidArgumentException.h"
#include "storm/exceptions/OutOfRangeException.h"
#include "storm/storage/BitVector.h"
#include "test/storm_gtest.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)

Function Documentation

◆ TEST() [1/38]

TEST	(	BitVectorDeathTest	,
		GetSetAssertion
	)

Definition at line 135 of file BitVectorTest.cpp.

◆ TEST() [2/38]

TEST	(	BitVectorTest	,
		Assignment
	)

Definition at line 650 of file BitVectorTest.cpp.

◆ TEST() [3/38]

TEST	(	BitVectorTest	,
		BeginEnd
	)

Definition at line 516 of file BitVectorTest.cpp.

◆ TEST() [4/38]

TEST	(	BitVectorTest	,
		CompareAndSwap
	)

Definition at line 613 of file BitVectorTest.cpp.

◆ TEST() [5/38]

TEST	(	BitVectorTest	,
		Complement
	)

Definition at line 340 of file BitVectorTest.cpp.

◆ TEST() [6/38]

TEST	(	BitVectorTest	,
		Concat
	)

Definition at line 626 of file BitVectorTest.cpp.

◆ TEST() [7/38]

TEST	(	BitVectorTest	,
		Disjoint
	)

Definition at line 450 of file BitVectorTest.cpp.

◆ TEST() [8/38]

TEST	(	BitVectorTest	,
		Empty
	)

Definition at line 466 of file BitVectorTest.cpp.

◆ TEST() [9/38]

TEST	(	BitVectorTest	,
		Expand
	)

Definition at line 639 of file BitVectorTest.cpp.

◆ TEST() [10/38]

TEST	(	BitVectorTest	,
		Full
	)

Definition at line 481 of file BitVectorTest.cpp.

◆ TEST() [11/38]

TEST	(	BitVectorTest	,
		GetAsInt
	)

Definition at line 69 of file BitVectorTest.cpp.

◆ TEST() [12/38]

TEST	(	BitVectorTest	,
		GetSet
	)

Definition at line 57 of file BitVectorTest.cpp.

◆ TEST() [13/38]

TEST	(	BitVectorTest	,
		GetSetInt
	)

Definition at line 128 of file BitVectorTest.cpp.

◆ TEST() [14/38]

TEST	(	BitVectorTest	,
		Implies
	)

Definition at line 416 of file BitVectorTest.cpp.

◆ TEST() [15/38]

TEST	(	BitVectorTest	,
		Increment
	)

Definition at line 356 of file BitVectorTest.cpp.

◆ TEST() [16/38]

TEST	(	BitVectorTest	,
		InitFromIntVector
	)

Definition at line 42 of file BitVectorTest.cpp.

◆ TEST() [17/38]

TEST	(	BitVectorTest	,
		InitFromIterator
	)

Definition at line 27 of file BitVectorTest.cpp.

◆ TEST() [18/38]

TEST	(	BitVectorTest	,
		InitToOne
	)

Definition at line 17 of file BitVectorTest.cpp.

◆ TEST() [19/38]

TEST	(	BitVectorTest	,
		InitToZero
	)

Definition at line 6 of file BitVectorTest.cpp.

◆ TEST() [20/38]

TEST	(	BitVectorTest	,
		Iterator
	)

Definition at line 583 of file BitVectorTest.cpp.

◆ TEST() [21/38]

TEST	(	BitVectorTest	,
		NextSetIndex
	)

Definition at line 530 of file BitVectorTest.cpp.

◆ TEST() [22/38]

TEST	(	BitVectorTest	,
		NextUnsetIndex
	)

Definition at line 543 of file BitVectorTest.cpp.

◆ TEST() [23/38]

TEST	(	BitVectorTest	,
		NumberOfSetBits
	)

Definition at line 496 of file BitVectorTest.cpp.

◆ TEST() [24/38]

TEST	(	BitVectorTest	,
		NumberOfSetBitsBeforeIndex
	)

Definition at line 506 of file BitVectorTest.cpp.

◆ TEST() [25/38]

TEST	(	BitVectorTest	,
		OperatorAnd
	)

Definition at line 204 of file BitVectorTest.cpp.

◆ TEST() [26/38]

TEST	(	BitVectorTest	,
		OperatorAndEqual
	)

Definition at line 222 of file BitVectorTest.cpp.

◆ TEST() [27/38]

TEST	(	BitVectorTest	,
		OperatorModulo
	)

Definition at line 298 of file BitVectorTest.cpp.

◆ TEST() [28/38]

TEST	(	BitVectorTest	,
		OperatorNot
	)

Definition at line 324 of file BitVectorTest.cpp.

◆ TEST() [29/38]

TEST	(	BitVectorTest	,
		OperatorOr
	)

Definition at line 241 of file BitVectorTest.cpp.

◆ TEST() [30/38]

TEST	(	BitVectorTest	,
		OperatorOrEqual
	)

Definition at line 260 of file BitVectorTest.cpp.

◆ TEST() [31/38]

TEST	(	BitVectorTest	,
		OperatorXor
	)

Definition at line 279 of file BitVectorTest.cpp.

◆ TEST() [32/38]

TEST	(	BitVectorTest	,
		permute
	)

Definition at line 398 of file BitVectorTest.cpp.

◆ TEST() [33/38]

TEST	(	BitVectorTest	,
		permuteGrouped
	)

Definition at line 407 of file BitVectorTest.cpp.

◆ TEST() [34/38]

TEST	(	BitVectorTest	,
		Resize
	)

Definition at line 152 of file BitVectorTest.cpp.

◆ TEST() [35/38]

TEST	(	BitVectorTest	,
		ReverseIterator
	)

Definition at line 598 of file BitVectorTest.cpp.

◆ TEST() [36/38]

TEST	(	BitVectorTest	,
		SequenceBefore
	)

Definition at line 558 of file BitVectorTest.cpp.

◆ TEST() [37/38]

TEST	(	BitVectorTest	,
		SetFromInt
	)

Definition at line 95 of file BitVectorTest.cpp.

◆ TEST() [38/38]

TEST	(	BitVectorTest	,
		Subset
	)

Definition at line 435 of file BitVectorTest.cpp.

Functions