PathFormula.cpp

Go to the documentation of this file.

#include "storm/logic/PathFormula.h"
 
namespace storm {
namespace logic {
bool PathFormula::isPathFormula() const {
    return true;
}
}  // namespace logic
}  // namespace storm