Storm 1.10.0.1
A Modern Probabilistic Model Checker
|
#include "storm/exceptions/InvalidArgumentException.h"
#include "storm/exceptions/OutOfRangeException.h"
#include "storm/storage/BitVector.h"
#include "test/storm_gtest.h"
Go to the source code of this file.
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) | |
TEST | ( | BitVectorDeathTest | , |
GetSetAssertion | |||
) |
Definition at line 135 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
Assignment | |||
) |
Definition at line 646 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
BeginEnd | |||
) |
Definition at line 512 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
CompareAndSwap | |||
) |
Definition at line 609 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
Complement | |||
) |
Definition at line 336 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
Concat | |||
) |
Definition at line 622 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
Disjoint | |||
) |
Definition at line 446 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
Empty | |||
) |
Definition at line 462 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
Expand | |||
) |
Definition at line 635 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
Full | |||
) |
Definition at line 477 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
GetAsInt | |||
) |
Definition at line 69 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
GetSet | |||
) |
Definition at line 57 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
GetSetInt | |||
) |
Definition at line 128 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
Implies | |||
) |
Definition at line 412 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
Increment | |||
) |
Definition at line 352 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
InitFromIntVector | |||
) |
Definition at line 42 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
InitFromIterator | |||
) |
Definition at line 27 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
InitToOne | |||
) |
Definition at line 17 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
InitToZero | |||
) |
Definition at line 6 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
Iterator | |||
) |
Definition at line 579 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
NextSetIndex | |||
) |
Definition at line 526 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
NextUnsetIndex | |||
) |
Definition at line 539 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
NumberOfSetBits | |||
) |
Definition at line 492 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
NumberOfSetBitsBeforeIndex | |||
) |
Definition at line 502 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
OperatorAnd | |||
) |
Definition at line 200 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
OperatorAndEqual | |||
) |
Definition at line 218 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
OperatorModulo | |||
) |
Definition at line 294 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
OperatorNot | |||
) |
Definition at line 320 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
OperatorOr | |||
) |
Definition at line 237 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
OperatorOrEqual | |||
) |
Definition at line 256 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
OperatorXor | |||
) |
Definition at line 275 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
permute | |||
) |
Definition at line 394 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
permuteGrouped | |||
) |
Definition at line 403 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
Resize | |||
) |
Definition at line 147 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
ReverseIterator | |||
) |
Definition at line 594 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
SequenceBefore | |||
) |
Definition at line 554 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
SetFromInt | |||
) |
Definition at line 95 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
Subset | |||
) |
Definition at line 431 of file BitVectorTest.cpp.
TEST | ( | BitVectorTest | , |
ZeroSized | |||
) |
Definition at line 653 of file BitVectorTest.cpp.