cprover
|
#include <xml_interface.h>
Public Member Functions | |
xml_interfacet (cmdlinet &_cmdline) | |
Protected Member Functions | |
void | get_xml_options (cmdlinet &cmdline) |
XML User Interface. More... | |
void | get_xml_options (const xmlt &xml, cmdlinet &cmdline) |
XML User Interface. More... | |
Definition at line 19 of file xml_interface.h.
|
inlineexplicit |
Definition at line 22 of file xml_interface.h.
|
protected |
XML User Interface.
Definition at line 21 of file xml_interface.cpp.
XML User Interface.
Definition at line 37 of file xml_interface.cpp.