cprover
fence_insertert Member List
This is the complete list of members for
fence_insertert
, including all inherited members.
add_edge
(const edget &e)
fence_insertert
inline
add_invisible_edge
(const edget &e)
fence_insertert
inline
Branching
enum value
fence_insertert
protected
col_to_fence
(unsigned u) const
fence_insertert
inline
protected
col_to_var
(unsigned u) const
fence_insertert
inline
protected
com_constraints
fence_insertert
protected
compute
()
fence_insertert
compute_fence_options
()
fence_insertert
protected
const_graph_visitor
fence_insertert
constraints_number
fence_insertert
Ctlfence
enum value
fence_insertert
protected
cycles_visitor
fence_insertert
protected
Dp
enum value
fence_insertert
protected
edget
typedef
fence_insertert
epsilon
fence_insertert
protected
Fence
enum value
fence_insertert
protected
fence_cost
(fence_typet e) const
fence_insertert
protected
virtual
fence_insertert
(instrumentert &instr)
fence_insertert
inline
explicit
fence_insertert
(instrumentert &instr, memory_modelt _model)
fence_insertert
inline
fence_options
fence_insertert
protected
fence_typet
enum name
fence_insertert
protected
fenced_edges
fence_insertert
protected
filter_cycles
(unsigned cycle_id) const
fence_insertert
inline
virtual
freq_table
fence_insertert
protected
get_type
(const irep_idt &id)
fence_insertert
import_freq
()
fence_insertert
protected
instrumenter
fence_insertert
invisible_var
fence_insertert
protected
Lwfence
enum value
fence_insertert
protected
map_from_e
fence_insertert
map_to_e
fence_insertert
mip_fill_matrix
(ilpt &ilp, unsigned &i, unsigned const_constraints_number, unsigned const_unique)
fence_insertert
inline
protected
mip_set_cst
(ilpt &ilp, unsigned &i)
fence_insertert
inline
protected
mip_set_var
(ilpt &ilp, unsigned &i)
fence_insertert
inline
protected
model
fence_insertert
po
fence_insertert
protected
porr_constraints
fence_insertert
protected
porw_constraints
fence_insertert
protected
powr_constraints
fence_insertert
protected
poww_constraints
fence_insertert
protected
preprocess
()
fence_insertert
protected
print_to_file
()
fence_insertert
print_to_file_2
()
fence_insertert
print_to_file_3
()
fence_insertert
print_to_file_4
()
fence_insertert
print_vars
() const
fence_insertert
protected
process_cycles_selection
()
fence_insertert
inline
virtual
remove_extra
(const irep_idt &id)
fence_insertert
inline
static
remove_extra
(std::string copy)
fence_insertert
inline
static
solve
()
fence_insertert
protected
to_string
(fence_typet f) const
fence_insertert
protected
type_component
(std::list< std::string >::const_iterator it, std::list< std::string >::const_iterator end, const typet &type)
fence_insertert
unique
fence_insertert
protected
var
fence_insertert
protected
var_fence_to_col
(fence_typet f, unsigned var) const
fence_insertert
inline
protected
with_freq
fence_insertert
protected
Generated by
1.8.14