System.out.println("---------------------------------------------");
*/
}
protected void initPm() {
pm_ = new PropagationManagerImpl();
pm_.setRootNode("root");
pm_.addNode("root", "kanto");
pm_.addNode("root.kanto", "tokyo");
pm_.addStateItem("root.kanto.tokyo", 1000, 1040);