cprover
|
Public Member Functions | |
interval_evaluator (const exprt &e, const std::vector< abstract_object_pointert > &ops, const abstract_environmentt &env, const namespacet &n) | |
abstract_object_pointert | operator() () const |
Private Types | |
using | interval_abstract_value_pointert |
Private Member Functions | |
abstract_object_pointert | transform () const |
std::vector< constant_interval_exprt > | operands_as_intervals () const |
abstract_object_pointert | evaluate_conditional (const std::vector< constant_interval_exprt > &interval_operands) const |
abstract_object_pointert | evaluate_unary_expr (const std::vector< constant_interval_exprt > &interval_operands) const |
interval_abstract_value_pointert | make_interval (const exprt &expr) const |
Private Attributes | |
const exprt & | expression |
const std::vector< abstract_object_pointert > & | operands |
const abstract_environmentt & | environment |
const namespacet & | ns |
Definition at line 388 of file abstract_value_object.cpp.
Definition at line 407 of file abstract_value_object.cpp.
|
inline |
Definition at line 391 of file abstract_value_object.cpp.
|
inlineprivate |
Definition at line 477 of file abstract_value_object.cpp.
|
inlineprivate |
Definition at line 501 of file abstract_value_object.cpp.
|
inlineprivate |
Definition at line 528 of file abstract_value_object.cpp.
|
inlineprivate |
Definition at line 447 of file abstract_value_object.cpp.
|
inline |
Definition at line 401 of file abstract_value_object.cpp.
|
inlineprivate |
Definition at line 410 of file abstract_value_object.cpp.
|
private |
Definition at line 535 of file abstract_value_object.cpp.
Definition at line 533 of file abstract_value_object.cpp.
|
private |
Definition at line 536 of file abstract_value_object.cpp.
|
private |
Definition at line 534 of file abstract_value_object.cpp.