public void setDistancesToInit()
{
// start at each initial node and set the distance to this node for each encountered node
BasicDistanceSetter oSetter = new BasicDistanceSetter(m_oTCG);
oSetter.act();
oSetter.check();
}
public void flattenStateMachine(boolean in_bUseStateComposition) throws Exception
{
TestCaseGraphFlattener oFlattener =