22 if(vector2.has_value())
23 op1() = std::move(*vector2);
API to expression classes that are internal to the C frontend.
A base class for expressions that are predicates, i.e., Boolean-typed, and that take exactly two argu...
Base class for all expressions.
std::vector< exprt > operandst
typet & type()
Return the type of the expression.
The trinary if-then-else operator.
A base class for multi-ary expressions Associativity is not specified.
const vector_typet & type() const
const exprt & vector2() const
shuffle_vector_exprt(exprt vector1, optionalt< exprt > vector2, exprt::operandst indices)
const exprt::operandst & indices() const
vector_exprt lower() const
bool has_two_input_vectors() const
const exprt & vector1() const
The type of an expression, extends irept.
Vector constructor from list of elements.
const constant_exprt & size() const
const typet & element_type() const
The type of the elements of the vector.
nonstd::optional< T > optionalt
#define CHECK_RETURN(CONDITION)
#define PRECONDITION(CONDITION)
const vector_typet & to_vector_type(const typet &type)
Cast a typet to a vector_typet.