| 135 | } |
| 136 | |
| 137 | VariableDeclaration const* Predicate::programVariable() const |
| 138 | { |
| 139 | return dynamic_cast<VariableDeclaration const*>(m_node); |
| 140 | } |
| 141 | |
| 142 | std::optional<std::vector<VariableDeclaration const*>> Predicate::stateVariables() const |
| 143 | { |
no outgoing calls
no test coverage detected