Browse Source

Disable DC for relevant events per default

refactoring
Matthias Volk 4 years ago
parent
commit
b8ce2f8fe4
No known key found for this signature in database GPG Key ID: 83A57678F739FCD3
  1. 2
      src/dft/analysis.cpp

2
src/dft/analysis.cpp

@ -22,6 +22,6 @@ std::vector<ValueType> analyzeDFT(storm::storage::DFT<ValueType> const& dft, std
// Define python bindings // Define python bindings
void define_analysis(py::module& m) { void define_analysis(py::module& m) {
m.def("analyze_dft", &analyzeDFT<double>, "Analyze the DFT", py::arg("dft"), py::arg("properties"), py::arg("symred")=true, py::arg("allow_modularisation")=false, py::arg("relevant_events")=std::set<size_t>(), py::arg("dc_for_relevant")=true);
m.def("analyze_dft", &analyzeDFT<double>, "Analyze the DFT", py::arg("dft"), py::arg("properties"), py::arg("symred")=true, py::arg("allow_modularisation")=false, py::arg("relevant_events")=std::set<size_t>(), py::arg("dc_for_relevant")=false);
} }
Loading…
Cancel
Save