- x -

• xml() : properties.cpp , properties.h , report_util.cpp , xml_expr.cpp , xml_expr.h , xml_irep.cpp , xml_irep.h
• xml_interface() : xml_interface.cpp , xml_interface.h
• xml_node() : xml.cpp
• xml_output_function() : unreachable_instructions.cpp
• xor_fkt() : miniBDD.cpp