polynomial_acceleratort Member List

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

accelerate(patht &loop, path_acceleratort &accelerator)	polynomial_acceleratort
array_assignments2polys(expr_pairst &array_assignments, std::map< exprt, polynomialt > &polynomials, polynomial_array_assignmentst &array_polynomials, polynomialst &nondet_indices)	polynomial_acceleratort	protected
assert_for_values(scratch_programt &program, std::map< exprt, int > &values, std::set< std::pair< expr_listt, exprt >> &coefficients, int num_unwindings, goto_programt::instructionst &loop_body, exprt &target, overflow_instrumentert &overflow)	polynomial_acceleratort	protected
check_inductive(std::map< exprt, polynomialt > polynomials, goto_programt::instructionst &body)	polynomial_acceleratort	protected
cone_of_influence(goto_programt::instructionst &orig_body, exprt &target, goto_programt::instructionst &body, expr_sett &influence)	polynomial_acceleratort	protected
do_arrays(goto_programt::instructionst &loop_body, std::map< exprt, polynomialt > &polynomials, substitutiont &substitution, scratch_programt &program)	polynomial_acceleratort	protected
do_assumptions(std::map< exprt, polynomialt > polynomials, patht &body, exprt &guard)	polynomial_acceleratort	protected
ensure_no_overflows(goto_programt &program)	polynomial_acceleratort	protected
expr2poly(exprt &expr, std::map< exprt, polynomialt > &polynomials, polynomialt &poly)	polynomial_acceleratort	protected
expr_pairst typedef	polynomial_acceleratort	protected
expr_pairt typedef	polynomial_acceleratort	protected
extract_polynomial(scratch_programt &program, std::set< std::pair< expr_listt, exprt >> &coefficients, polynomialt &polynomial)	polynomial_acceleratort	protected
fit_const(goto_programt::instructionst &loop_body, exprt &target, polynomialt &polynomial)	polynomial_acceleratort	protected
fit_polynomial(goto_programt::instructionst &loop_body, exprt &target, polynomialt &polynomial)	polynomial_acceleratort
fit_polynomial_sliced(goto_programt::instructionst &sliced_body, exprt &target, expr_sett &influence, polynomialt &polynomial)	polynomial_acceleratort	protected
gather_array_assignments(goto_programt::instructionst &loop_body, expr_sett &arrays_written)	polynomial_acceleratort	protected
goto_functions	polynomial_acceleratort	protected
guard_manager	polynomial_acceleratort	protected
loop_counter	polynomial_acceleratort	protected
message_handler	polynomial_acceleratort	protected
nonrecursive	polynomial_acceleratort	protected
ns	polynomial_acceleratort	protected
polynomial_acceleratort(message_handlert &message_handler, const symbol_tablet &_symbol_table, const goto_functionst &_goto_functions, guard_managert &guard_manager)	polynomial_acceleratort	inline
polynomial_acceleratort(message_handlert &message_handler, const symbol_tablet &_symbol_table, const goto_functionst &_goto_functions, exprt &_loop_counter, guard_managert &guard_manager)	polynomial_acceleratort	inline
polynomial_array_assignmentst typedef	polynomial_acceleratort	protected
polynomial_array_assignmentt typedef	polynomial_acceleratort	protected
precondition(patht &path)	polynomial_acceleratort	protected
stash_polynomials(scratch_programt &program, std::map< exprt, polynomialt > &polynomials, std::map< exprt, exprt > &stashed, goto_programt::instructionst &body)	polynomial_acceleratort	protected
symbol_table	polynomial_acceleratort	protected
utils	polynomial_acceleratort	protected