CBMC
literal.h File Reference
#include <iosfwd>
#include <util/narrow.h>
#include <vector>
+ Include dependency graph for literal.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  literalt
 

Typedefs

typedef std::vector< literaltbvt
 

Functions

std::ostream & operator<< (std::ostream &out, literalt l)
 
literalt const_literal (bool value)
 
literalt neg (literalt a)
 
literalt pos (literalt a)
 
bool is_false (const literalt &l)
 
bool is_true (const literalt &l)
 
std::ostream & operator<< (std::ostream &out, const bvt &bv)
 

Typedef Documentation

◆ bvt

typedef std::vector<literalt> bvt

Definition at line 201 of file literal.h.

Function Documentation

◆ const_literal()

literalt const_literal ( bool  value)
inline

Definition at line 188 of file literal.h.

◆ is_false()

bool is_false ( const literalt l)
inline

Definition at line 197 of file literal.h.

◆ is_true()

bool is_true ( const literalt l)
inline

Definition at line 198 of file literal.h.

◆ neg()

literalt neg ( literalt  a)
inline

Definition at line 193 of file literal.h.

◆ operator<<() [1/2]

std::ostream& operator<< ( std::ostream &  out,
const bvt bv 
)

Definition at line 24 of file literal.cpp.

◆ operator<<() [2/2]

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

Definition at line 16 of file literal.cpp.

◆ pos()

literalt pos ( literalt  a)
inline

Definition at line 194 of file literal.h.