Added missing implementation of facts accessor of InitialState.
This commit is contained in:
parent
c7405e054f
commit
a8e4ef7234
@ -82,5 +82,12 @@ std::unique_ptr<InitialState> InitialState::parseDeclaration(Context &context, c
|
||||
|
||||
////////////////////////////////////////////////////////////////////////////////////////////////////
|
||||
|
||||
const Expressions &InitialState::facts() const
|
||||
{
|
||||
return m_facts;
|
||||
}
|
||||
|
||||
////////////////////////////////////////////////////////////////////////////////////////////////////
|
||||
|
||||
}
|
||||
}
|
||||
|
Reference in New Issue
Block a user