lookups_alu.hpp File Reference

#include <cstddef>
#include <string_view>
#include <tuple>
#include "../columns.hpp"
#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
#include "barretenberg/vm2/constraining/relations/interactions_base.hpp"

Go to the source code of this file.

Classes
struct	bb::avm2::lookup_alu_register_tag_value_settings_
struct	bb::avm2::lookup_alu_tag_max_bits_value_settings_
struct	bb::avm2::lookup_alu_range_check_decomposition_a_lo_settings_
struct	bb::avm2::lookup_alu_range_check_decomposition_a_hi_settings_
struct	bb::avm2::lookup_alu_range_check_decomposition_b_lo_settings_
struct	bb::avm2::lookup_alu_range_check_decomposition_b_hi_settings_
struct	bb::avm2::lookup_alu_range_check_mul_u128_c_hi_settings_
struct	bb::avm2::lookup_alu_gt_div_remainder_settings_
struct	bb::avm2::lookup_alu_ff_gt_settings_
struct	bb::avm2::lookup_alu_int_gt_settings_
struct	bb::avm2::lookup_alu_shifts_two_pow_settings_
struct	bb::avm2::lookup_alu_exec_dispatching_cast_settings_
struct	bb::avm2::lookup_alu_exec_dispatching_set_settings_
struct	bb::avm2::lookup_alu_large_trunc_canonical_dec_settings_
struct	bb::avm2::lookup_alu_range_check_trunc_mid_settings_

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2

Typedefs
using	bb::avm2::lookup_alu_register_tag_value_settings = lookup_settings< lookup_alu_register_tag_value_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_alu_register_tag_value_relation = lookup_relation_base< FF_, lookup_alu_register_tag_value_settings >
using	bb::avm2::lookup_alu_tag_max_bits_value_settings = lookup_settings< lookup_alu_tag_max_bits_value_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_alu_tag_max_bits_value_relation = lookup_relation_base< FF_, lookup_alu_tag_max_bits_value_settings >
using	bb::avm2::lookup_alu_range_check_decomposition_a_lo_settings = lookup_settings< lookup_alu_range_check_decomposition_a_lo_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_alu_range_check_decomposition_a_lo_relation = lookup_relation_base< FF_, lookup_alu_range_check_decomposition_a_lo_settings >
using	bb::avm2::lookup_alu_range_check_decomposition_a_hi_settings = lookup_settings< lookup_alu_range_check_decomposition_a_hi_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_alu_range_check_decomposition_a_hi_relation = lookup_relation_base< FF_, lookup_alu_range_check_decomposition_a_hi_settings >
using	bb::avm2::lookup_alu_range_check_decomposition_b_lo_settings = lookup_settings< lookup_alu_range_check_decomposition_b_lo_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_alu_range_check_decomposition_b_lo_relation = lookup_relation_base< FF_, lookup_alu_range_check_decomposition_b_lo_settings >
using	bb::avm2::lookup_alu_range_check_decomposition_b_hi_settings = lookup_settings< lookup_alu_range_check_decomposition_b_hi_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_alu_range_check_decomposition_b_hi_relation = lookup_relation_base< FF_, lookup_alu_range_check_decomposition_b_hi_settings >
using	bb::avm2::lookup_alu_range_check_mul_u128_c_hi_settings = lookup_settings< lookup_alu_range_check_mul_u128_c_hi_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_alu_range_check_mul_u128_c_hi_relation = lookup_relation_base< FF_, lookup_alu_range_check_mul_u128_c_hi_settings >
using	bb::avm2::lookup_alu_gt_div_remainder_settings = lookup_settings< lookup_alu_gt_div_remainder_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_alu_gt_div_remainder_relation = lookup_relation_base< FF_, lookup_alu_gt_div_remainder_settings >
using	bb::avm2::lookup_alu_ff_gt_settings = lookup_settings< lookup_alu_ff_gt_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_alu_ff_gt_relation = lookup_relation_base< FF_, lookup_alu_ff_gt_settings >
using	bb::avm2::lookup_alu_int_gt_settings = lookup_settings< lookup_alu_int_gt_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_alu_int_gt_relation = lookup_relation_base< FF_, lookup_alu_int_gt_settings >
using	bb::avm2::lookup_alu_shifts_two_pow_settings = lookup_settings< lookup_alu_shifts_two_pow_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_alu_shifts_two_pow_relation = lookup_relation_base< FF_, lookup_alu_shifts_two_pow_settings >
using	bb::avm2::lookup_alu_exec_dispatching_cast_settings = lookup_settings< lookup_alu_exec_dispatching_cast_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_alu_exec_dispatching_cast_relation = lookup_relation_base< FF_, lookup_alu_exec_dispatching_cast_settings >
using	bb::avm2::lookup_alu_exec_dispatching_set_settings = lookup_settings< lookup_alu_exec_dispatching_set_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_alu_exec_dispatching_set_relation = lookup_relation_base< FF_, lookup_alu_exec_dispatching_set_settings >
using	bb::avm2::lookup_alu_large_trunc_canonical_dec_settings = lookup_settings< lookup_alu_large_trunc_canonical_dec_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_alu_large_trunc_canonical_dec_relation = lookup_relation_base< FF_, lookup_alu_large_trunc_canonical_dec_settings >
using	bb::avm2::lookup_alu_range_check_trunc_mid_settings = lookup_settings< lookup_alu_range_check_trunc_mid_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_alu_range_check_trunc_mid_relation = lookup_relation_base< FF_, lookup_alu_range_check_trunc_mid_settings >