#include <carl-logging/carl-logging.h>
#include <iostream>
#include <type_traits>

Include dependency graph for BVTermType.h:

This graph shows which files directly or indirectly include this file:

Namespaces
	carl
	carl is the main namespace for the library.

Enumerations
enum class	carl::BVTermType { carl::CONSTANT , carl::VARIABLE , carl::CONCAT , carl::EXTRACT , carl::NOT , carl::NEG , carl::AND , carl::OR , carl::XOR , carl::NAND , carl::NOR , carl::XNOR , carl::ADD , carl::SUB , carl::MUL , carl::DIV_U , carl::DIV_S , carl::MOD_U , carl::MOD_S1 , carl::MOD_S2 , carl::EQ , carl::LSHIFT , carl::RSHIFT_LOGIC , carl::RSHIFT_ARITH , carl::LROTATE , carl::RROTATE , carl::EXT_U , carl::EXT_S , carl::REPEAT }

Functions
auto	carl::typeId (BVTermType type)

std::ostream &	carl::operator<< (std::ostream &os, BVTermType type)

bool	carl::typeIsUnary (BVTermType type)

bool	carl::typeIsBinary (BVTermType type)

Namespaces

Enumerations