cprover
abstract_eventt Member List

This is the complete list of members for abstract_eventt, including all inherited members.

abstract_eventt()abstract_eventtinline
abstract_eventt(operationt _op, unsigned _th, irep_idt _var, unsigned _id, source_locationt _loc, bool _local)abstract_eventtinline
abstract_eventt(operationt _op, unsigned _th, irep_idt _var, unsigned _id, source_locationt _loc, bool _local, bool WRf, bool WWf, bool RRf, bool RWf, bool WWc, bool RWc, bool RRc)abstract_eventtinline
add_in(node_indext n)graph_nodet< empty_edget >inline
add_out(node_indext n)graph_nodet< empty_edget >inline
edgest typedefgraph_nodet< empty_edget >
edget typedefgraph_nodet< empty_edget >
erase_in(node_indext n)graph_nodet< empty_edget >inline
erase_out(node_indext n)graph_nodet< empty_edget >inline
fence_value() constabstract_eventtinline
get_operation() constabstract_eventtinline
idabstract_eventt
ingraph_nodet< empty_edget >
is_corresponding_fence(const abstract_eventt &first, const abstract_eventt &second) constabstract_eventtinline
is_cumul() constabstract_eventtinline
is_direct() constabstract_eventtinline
is_fence() constabstract_eventtinline
localabstract_eventt
node_indext typedefgraph_nodet< empty_edget >
operationabstract_eventt
operationt enum nameabstract_eventt
operator()(const abstract_eventt &other)abstract_eventtinline
operator<(const abstract_eventt &other) constabstract_eventtinline
operator==(const abstract_eventt &other) constabstract_eventtinline
outgraph_nodet< empty_edget >
RRcumulabstract_eventt
RRfenceabstract_eventt
RWcumulabstract_eventt
RWfenceabstract_eventt
source_locationabstract_eventt
threadabstract_eventt
unsafe_pair(const abstract_eventt &next, memory_modelt model) constabstract_eventtinline
unsafe_pair_asm(const abstract_eventt &next, memory_modelt model, unsigned char met) constabstract_eventt
unsafe_pair_lwfence(const abstract_eventt &next, memory_modelt model) constabstract_eventtinline
unsafe_pair_lwfence_param(const abstract_eventt &next, memory_modelt model, bool lwsync_met) constabstract_eventtprotected
variableabstract_eventt
WRfenceabstract_eventt
WWcumulabstract_eventt
WWfenceabstract_eventt