hi friends
how to change description of infoset. i given like his ( ex: reporting infoset , but now i want to change some other) could u plese suggest me.