literal_vector_expr.h File Reference

#include <util/std_expr.h>
#include <util/string2int.h>
#include <solvers/prop/literal.h>

Include dependency graph for literal_vector_expr.h:

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

Go to the source code of this file.

Classes
class	literal_vector_exprt

Functions
template<>
bool	can_cast_expr< literal_vector_exprt > (const exprt &base)
const literal_vector_exprt &	to_literal_vector_expr (const exprt &expr)
	Cast a generic exprt to a literal_vector_exprt.
literal_vector_exprt &	to_literal_vector_expr (exprt &expr)
	Cast a generic exprt to a literal_exprt.

Function Documentation

can_cast_expr< literal_vector_exprt >()

template<>

bool can_cast_expr< literal_vector_exprt > ( const exprt &  base )

inline

Definition at line 52 of file literal_vector_expr.h.

to_literal_vector_expr() [1/2]

const literal_vector_exprt & to_literal_vector_expr ( const exprt &  expr )

inline

Cast a generic exprt to a literal_vector_exprt.

This is an unchecked conversion. expr must be known to be literal_vector_exprt.

Parameters

expr	Source expression

Returns

Object of type literal_vector_exprt

Definition at line 62 of file literal_vector_expr.h.

to_literal_vector_expr() [2/2]

literal_vector_exprt & to_literal_vector_expr ( exprt &  expr )

inline

Cast a generic exprt to a literal_exprt.

This is an unchecked conversion. expr must be known to be literal_exprt.

Parameters

expr	Source expression

Returns

Object of type literal_exprt

Definition at line 71 of file literal_vector_expr.h.