LTL2DeterministicAutomaton.h

Go to the documentation of this file.

#pragma once
 
#include <memory>
 
namespace storm {
 
namespace logic {
// fwd
class Formula;
}  // namespace logic
 
namespace automata {
// fwd
class DeterministicAutomaton;
 
class LTL2DeterministicAutomaton {
   public:
    static std::shared_ptr<DeterministicAutomaton> ltl2daSpot(storm::logic::Formula const& f, bool dnf);
 
    static std::shared_ptr<DeterministicAutomaton> ltl2daExternalTool(storm::logic::Formula const& f, std::string ltl2daTool);
};
 
}  // namespace automata
}  // namespace storm