StateFormula.cpp

Go to the documentation of this file.

#include "storm/logic/StateFormula.h"
 
namespace storm {
namespace logic {
bool StateFormula::isStateFormula() const {
    return true;
}
bool StateFormula::isStateFormula() const  {…}
 
bool StateFormula::isProbabilityPathFormula() const {
    // a single state formula can be seen as a path formula as well
    return true;
}
bool StateFormula::isProbabilityPathFormula() const  {…}
 
}  // namespace logic
}  // namespace storm