Belief functions theory (Dempster-Shafer theory) implementation in C++