cprover
memory_model_baset Member List
This is the complete list of members for
memory_model_baset
, including all inherited members.
add_constraint
(symex_target_equationt &equation, const exprt &cond, const std::string &msg, const symex_targett::sourcet &source) const
partial_order_concurrencyt
protected
add_init_writes
(symex_target_equationt &)
partial_order_concurrencyt
protected
address
(event_it event) const
partial_order_concurrencyt
inline
protected
address_map
partial_order_concurrencyt
protected
address_mapt
typedef
partial_order_concurrencyt
protected
AX_NO_THINAIR
enum value
partial_order_concurrencyt
AX_OBSERVATION
enum value
partial_order_concurrencyt
AX_PROPAGATION
enum value
partial_order_concurrencyt
AX_SC_PER_LOCATION
enum value
partial_order_concurrencyt
axiomt
enum name
partial_order_concurrencyt
before
(event_it e1, event_it e2, unsigned axioms)
partial_order_concurrencyt
protected
before
(event_it e1, event_it e2)=0
partial_order_concurrencyt
protected
pure virtual
build_clock_type
(const symex_target_equationt &)
partial_order_concurrencyt
protected
build_event_lists
(symex_target_equationt &)
partial_order_concurrencyt
protected
choice_symbols
memory_model_baset
protected
choice_symbolst
typedef
memory_model_baset
protected
clock
(event_it e, axiomt axiom)
partial_order_concurrencyt
protected
clock_type
partial_order_concurrencyt
protected
debug
()
messaget
inline
endl
(mstreamt &m)
messaget
inline
static
eom
(mstreamt &m)
messaget
inline
static
error
()
messaget
inline
event_it
typedef
partial_order_concurrencyt
event_listt
typedef
partial_order_concurrencyt
protected
eventst
typedef
partial_order_concurrencyt
eventt
typedef
partial_order_concurrencyt
get_message_handler
()
messaget
inline
get_mstream
(unsigned message_level)
messaget
inline
id
(event_it event)
partial_order_concurrencyt
inline
protected
static
M_DEBUG
enum value
messaget
M_ERROR
enum value
messaget
M_PROGRESS
enum value
messaget
M_RESULT
enum value
messaget
M_STATISTICS
enum value
messaget
M_STATUS
enum value
messaget
M_WARNING
enum value
messaget
memory_model_baset
(const namespacet &_ns)
memory_model_baset
explicit
message_handler
messaget
protected
message_levelt
enum name
messaget
messaget
()
messaget
inline
messaget
(const messaget &other)
messaget
inline
messaget
(message_handlert &_message_handler)
messaget
inline
explicit
mstream
messaget
protected
nondet_bool_symbol
(const std::string &prefix)
memory_model_baset
protected
ns
partial_order_concurrencyt
protected
numbering
partial_order_concurrencyt
protected
numberingt
typedef
partial_order_concurrencyt
protected
operator()
(symex_target_equationt &)=0
memory_model_baset
pure virtual
partial_order_concurrencyt
(const namespacet &_ns)
partial_order_concurrencyt
explicit
per_thread_mapt
typedef
memory_model_baset
protected
po
(event_it e1, event_it e2)
memory_model_baset
protected
progress
()
messaget
inline
read_from
(symex_target_equationt &equation)
memory_model_baset
protected
result
()
messaget
inline
rw_clock_id
(event_it e, axiomt axiom=AX_PROPAGATION)
partial_order_concurrencyt
static
set_message_handler
(message_handlert &_message_handler)
messaget
inline
virtual
statistics
()
messaget
inline
status
()
messaget
inline
var_cnt
memory_model_baset
protected
warning
()
messaget
inline
~memory_model_baset
()
memory_model_baset
virtual
~messaget
()
messaget
virtual
~partial_order_concurrencyt
()
partial_order_concurrencyt
virtual
Generated by
1.8.12