proof_system::plonk::stdlib::bool_t< Builder > Member List

This is the complete list of members for proof_system::plonk::stdlib::bool_t< Builder >, including all inherited members.

assert_equal(const bool_t &rhs, std::string const &msg="bool_t::assert_equal") const (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
bool_t(const bool value=false) (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
bool_t(Builder *parent_context) (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
bool_t(Builder *parent_context, const bool value) (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
bool_t(const witness_t< Builder > &value) (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
bool_t(const bool_t &other) (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
bool_t(bool_t &&other) (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
conditional_assign(const bool_t< Builder > &predicate, const bool_t &lhs, const bool_t &rhs) (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >	static
context (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >	mutable
get_context() const (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >	inline
get_value() const (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >	inline
implies(const bool_t &other) const (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
implies_both_ways(const bool_t &other) const (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
is_constant() const (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >	inline
must_imply(const bool_t &other, std::string const &msg="bool_t::must_imply") const	proof_system::plonk::stdlib::bool_t< Builder >
must_imply(const std::vector< std::pair< bool_t, std::string > > &conds) const	proof_system::plonk::stdlib::bool_t< Builder >
normalize() const (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
operator!() const (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
operator!=(const bool_t &other) const (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
operator&(const bool_t &other) const	proof_system::plonk::stdlib::bool_t< Builder >
operator&&(const bool_t &other) const (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
operator&=(const bool_t &other) (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >	inline
operator=(const bool other) (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
operator=(const witness_t< Builder > &other) (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
operator=(const bool_t &other) (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
operator=(bool_t &&other) (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
operator==(const bool_t &other) const (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
operator^(const bool_t &other) const (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
operator^=(const bool_t &other) (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >	inline
operator|(const bool_t &other) const (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
operator|=(const bool_t &other) (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >	inline
operator||(const bool_t &other) const (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >
operator~() const (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >	inline
witness_bool (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >	mutable
witness_index (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >	mutable
witness_inverted (defined in proof_system::plonk::stdlib::bool_t< Builder >)	proof_system::plonk::stdlib::bool_t< Builder >	mutable