cprover
Loading...
Searching...
No Matches
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_exprtto_literal_vector_expr (const exprt &expr)
 Cast a generic exprt to a literal_vector_exprt.
literal_vector_exprtto_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
exprSource 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
exprSource expression
Returns
Object of type literal_exprt

Definition at line 71 of file literal_vector_expr.h.