cprover
literal.cpp File Reference

Literals. More...

#include "literal.h"
#include <ostream>
Include dependency graph for literal.cpp:

Go to the source code of this file.

Functions

std::ostream & operator<< (std::ostream &out, literalt l)
 

Detailed Description

Literals.

Definition in file literal.cpp.

Function Documentation

§ operator<<()

std::ostream& operator<< ( std::ostream &  out,
literalt  l 
)