literal.h File Reference

#include <cstdint>
#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< literalt >	bvt

Functions
literalt	const_literal (bool value)
literalt	neg (literalt a)
literalt	pos (literalt a)

Typedef Documentation

bvt

typedef std::vector<literalt> bvt

Function Documentation

const_literal()

literalt const_literal

(

bool

value

)

neg()

literalt neg

(

literalt

a

)

pos()

literalt pos

(

literalt

a

)