ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
xml.cpp File Reference
#include <cstdlib>
#include <util/base/i2string.h>
#include <util/base/xml.h>
#include <ostream>
Include dependency graph for xml.cpp:

Functions

bool operator== (const xmlt &a, const xmlt &b)
bool operator!= (const xmlt &a, const xmlt &b)

Function Documentation

◆ operator!=()

bool operator!= ( const xmlt & a,
const xmlt & b )

◆ operator==()

bool operator== ( const xmlt & a,
const xmlt & b )