utilities.hpp

Go to the documentation of this file.

#pragma once

 
#include <algorithm>
 
#include "symmetri/types.h"
 
namespace symmetri {

template <typename T>
bool MarkingEquality(const std::vector<T>& m1, const std::vector<T>& m2) {
  std::vector<T> m1_sorted = m1;
  std::vector<T> m2_sorted = m2;
  std::sort(m1_sorted.begin(), m1_sorted.end());
  std::sort(m2_sorted.begin(), m2_sorted.end());
  return m1_sorted == m2_sorted;
}

template <typename T>
bool MarkingReached(const std::vector<T>& marking,
                    const std::vector<T>& goal_marking) {
  if (goal_marking.empty()) {
    return false;
  }
  auto unique = goal_marking;
  std::sort(unique.begin(), unique.end());
  auto last = std::unique(unique.begin(), unique.end());
  unique.erase(last, unique.end());
 
  return std::all_of(std::begin(unique), std::end(unique), [&](const auto& p) {
    return std::count(marking.begin(), marking.end(), p) ==
           std::count(goal_marking.begin(), goal_marking.end(), p);
  });
}

bool stateNetEquality(const Net& net1, const Net& net2);

size_t calculateTrace(const Eventlog& log) noexcept;
 
}  // namespace symmetri