Interfaces for the Henshin state space tools.