cprover
xml_interfacet Class Reference

#include <xml_interface.h>

+ Inheritance diagram for xml_interfacet:

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...
 

Detailed Description

Definition at line 19 of file xml_interface.h.

Constructor & Destructor Documentation

◆ xml_interfacet()

xml_interfacet::xml_interfacet ( cmdlinet _cmdline)
inlineexplicit

Definition at line 22 of file xml_interface.h.

Member Function Documentation

◆ get_xml_options() [1/2]

void xml_interfacet::get_xml_options ( cmdlinet cmdline)
protected

XML User Interface.

Definition at line 21 of file xml_interface.cpp.

◆ get_xml_options() [2/2]

void xml_interfacet::get_xml_options ( const xmlt xml,
cmdlinet cmdline 
)
protected

XML User Interface.

Definition at line 37 of file xml_interface.cpp.


The documentation for this class was generated from the following files: