A final state in the model. More...
#include <final_state_model_impl.hpp>
A final state in the model.