print_xml


Description:

public void print_xml ()

Prints the state of the system in XML to stdout.