bitvector_expr.cpp File Reference

#include "bitvector_expr.h"
#include "arith_tools.h"
#include "bitvector_types.h"
#include "mathematical_types.h"

Include dependency graph for bitvector_expr.cpp:

Go to the source code of this file.

Functions
static std::pair< exprt, exprt >	onehot_lowering_helper (const exprt &expr)
	Returns a pair of expressions: the first is true iff at least one bit of expr is set, the second is true iff more than one bit is set.

Function Documentation

onehot_lowering_helper()

std::pair< exprt, exprt > onehot_lowering_helper ( const exprt & expr )

static

Returns a pair of expressions: the first is true iff at least one bit of expr is set, the second is true iff more than one bit is set.

Definition at line 312 of file bitvector_expr.cpp.