Commit 2609a41e authored by Mateusz Rychlicki's avatar Mateusz Rychlicki
Browse files

Remove unused functions BaseFixedPoint.hh

parent 6d909f33
......@@ -32,7 +32,7 @@ add_library(fairsyn
src/ubdd/SylvanUBDD.cpp
src/ubdd/SylvanUBDDMintermIterator.cpp
# src/lib/Arena.cpp
# src/lib/FixedPoint.cpp
src/lib/BaseFixedPoint.cpp
src/utils/hoa_consumer_build_rabin.cpp
src/utils/TicToc.cpp
)
......
......@@ -14,9 +14,6 @@
#include <sylvan_obj.hpp>
#include <vector>
#include "lib/Arena.hh"
#include "lib/RabinAutomaton.hh"
#include "utils/TicToc.hh"
namespace fairsyn {
/*
......@@ -50,44 +47,14 @@ namespace fairsyn {
return N;
}
/* function: factorial
* compute the factorial
*/
size_t factorial(const size_t n) {
size_t ans = 1;
for (int i = n; i > 1; i--)
ans *= i;
return ans;
}
/* function: pad_zeros
* pad zeros to a vector "vec1" to make its size equal to n
*/
inline std::vector<size_t> pad_zeros(const std::vector<size_t> vec1, const size_t n) {
std::vector<size_t> vec2 = vec1;
for (size_t i = 0; i < n; i++) {
vec2.push_back(0);
}
return vec2;
}
/* function: check_threshold
* returns true if all the elements in the vector called "vec" are below a given threshold
*/
inline bool check_threshold(const std::vector<size_t> &vec, const size_t th) {
for (size_t i = 0; i < vec.size(); i++) {
if (vec[i] > th) {
for (size_t i = 0; i < vec.size(); i++)
if (vec[i] > th)
return false;
}
}
return true;
}
inline size_t first_index(const std::vector<size_t> &vec, const size_t th) {
size_t i = 0;
while (vec[i] <= th)
i++;
return i;
}
}; /* close class def */
}// namespace fairsyn
......@@ -17,9 +17,9 @@ private:
std::chrono::high_resolution_clock::time_point start;
std::chrono::high_resolution_clock::time_point stop;
public:
TicToc() = default;;
TicToc() = default;
~TicToc() = default;;
~TicToc() = default;
/* function: tic
* set start time
......
#include "lib/BaseFixedPoint.hh"
// todo fill this file
\ No newline at end of file
#include "lib/FixedPoint.cpp"
// todo fill this file
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment