List of all items

Structs

• Access
• ExecFuture
• GasLimit
• SolutionAccess
• Stack
• StateSlots
• StateSlotsMut
• Vm
• asm::InvalidOpcodeError
• asm::NotEnoughBytesError
• asm::opcode::InvalidOpcodeError
• asm::opcode::NotEnoughBytesError
• constraint::Access
• constraint::BytecodeMapped
• constraint::BytecodeMappedLazy
• constraint::BytecodeMappedSlice
• constraint::Memory
• constraint::Repeat
• constraint::SolutionAccess
• constraint::Stack
• constraint::StateSlots
• constraint::asm::InvalidOpcodeError
• constraint::asm::NotEnoughBytesError
• constraint::asm::opcode::InvalidOpcodeError
• constraint::asm::opcode::NotEnoughBytesError
• constraint::error::ConstraintErrors
• constraint::error::ConstraintsUnsatisfied
• constraint::types::Block
• constraint::types::ContentAddress
• constraint::types::PredicateAddress
• constraint::types::Signature
• constraint::types::contract::Contract
• constraint::types::contract::SignedContract
• constraint::types::predicate::Predicate
• constraint::types::solution::Mutation
• constraint::types::solution::Solution
• constraint::types::solution::SolutionData
• error::OutOfGasError

Enums

• asm::Access
• asm::Alu
• asm::Constraint
• asm::Crypto
• asm::FromBytesError
• asm::Op
• asm::Opcode
• asm::Pred
• asm::Stack
• asm::StateRead
• asm::StateSlots
• asm::Temporary
• asm::TotalControlFlow
• asm::bytes_iter::Access
• asm::bytes_iter::Alu
• asm::bytes_iter::Constraint
• asm::bytes_iter::Crypto
• asm::bytes_iter::Pred
• asm::bytes_iter::Stack
• asm::bytes_iter::StateRead
• asm::bytes_iter::StateSlots
• asm::bytes_iter::Temporary
• asm::bytes_iter::TotalControlFlow
• asm::opcode::Access
• asm::opcode::Alu
• asm::opcode::Constraint
• asm::opcode::Crypto
• asm::opcode::Pred
• asm::opcode::Stack
• asm::opcode::StateRead
• asm::opcode::StateSlots
• asm::opcode::Temporary
• asm::opcode::TotalControlFlow
• constraint::ProgramControlFlow
• constraint::asm::Access
• constraint::asm::Alu
• constraint::asm::Constraint
• constraint::asm::Crypto
• constraint::asm::FromBytesError
• constraint::asm::Op
• constraint::asm::Opcode
• constraint::asm::Pred
• constraint::asm::Stack
• constraint::asm::Temporary
• constraint::asm::TotalControlFlow
• constraint::asm::bytes_iter::Access
• constraint::asm::bytes_iter::Alu
• constraint::asm::bytes_iter::Constraint
• constraint::asm::bytes_iter::Crypto
• constraint::asm::bytes_iter::Pred
• constraint::asm::bytes_iter::Stack
• constraint::asm::bytes_iter::Temporary
• constraint::asm::bytes_iter::TotalControlFlow
• constraint::asm::opcode::Access
• constraint::asm::opcode::Alu
• constraint::asm::opcode::Constraint
• constraint::asm::opcode::Crypto
• constraint::asm::opcode::Pred
• constraint::asm::opcode::Stack
• constraint::asm::opcode::Temporary
• constraint::asm::opcode::TotalControlFlow
• constraint::error::AccessError
• constraint::error::AluError
• constraint::error::CheckError
• constraint::error::ConstraintError
• constraint::error::CryptoError
• constraint::error::DecodeError
• constraint::error::OpError
• constraint::error::RepeatError
• constraint::error::StackError
• constraint::error::TemporaryError
• constraint::error::TotalControlFlowError
• constraint::types::predicate::Directive
• error::ControlFlowError
• error::OpAsyncError
• error::OpError
• error::OpSyncError
• error::StackError
• error::StateReadError
• error::StateSlotsError

Traits

• OpAccess
• OpGasCost
• StateRead
• asm::ToBytes
• asm::ToOpcode
• asm::TryFromBytes
• asm::opcode::ParseOp
• constraint::OpAccess
• constraint::asm::ToBytes
• constraint::asm::ToOpcode
• constraint::asm::TryFromBytes
• constraint::asm::opcode::ParseOp

Functions

• asm::from_bytes
• asm::to_bytes
• constraint::asm::from_bytes
• constraint::asm::to_bytes
• constraint::check_predicate
• constraint::eval
• constraint::eval_bytecode
• constraint::eval_bytecode_iter
• constraint::eval_ops
• constraint::exec
• constraint::exec_bytecode
• constraint::exec_bytecode_iter
• constraint::exec_ops
• constraint::mut_keys
• constraint::mut_keys_set
• constraint::mut_keys_slices
• constraint::step_on_temporary
• constraint::step_on_total_control_flow
• constraint::step_op
• constraint::step_op_access
• constraint::step_op_alu
• constraint::step_op_crypto
• constraint::step_op_pred
• constraint::step_op_stack
• constraint::transient_data
• constraint::types::convert::bool_from_word
• constraint::types::convert::bytes_from_word
• constraint::types::convert::u8_32_from_word_4
• constraint::types::convert::u8_64_from_word_8
• constraint::types::convert::word_4_from_u8_32
• constraint::types::convert::word_8_from_u8_64
• constraint::types::convert::word_from_bytes
• constraint::types::serde::bytecode::deserialize
• constraint::types::serde::bytecode::deserialize_vec
• constraint::types::serde::bytecode::serialize
• constraint::types::serde::bytecode::serialize_vec
• constraint::types::serde::hash::deserialize
• constraint::types::serde::hash::serialize
• constraint::types::serde::signature::deserialize
• constraint::types::serde::signature::serialize

Type Aliases

• BytecodeMapped
• BytecodeMappedLazy
• BytecodeMappedSlice
• Gas
• OpAsyncResult
• OpResult
• OpSyncResult
• StateReadResult
• StateSlotSlice
• StateSlotsResult
• asm::Word
• constraint::CheckResult
• constraint::ConstraintResult
• constraint::OpResult
• constraint::StackResult
• constraint::StateSlotSlice
• constraint::TransientData
• constraint::asm::Word
• constraint::error::CheckResult
• constraint::error::ConstraintResult
• constraint::error::OpResult
• constraint::error::RepeatResult
• constraint::error::StackResult
• constraint::error::TemporaryResult
• constraint::error::TotalControlFlowResult
• constraint::types::ConstraintBytecode
• constraint::types::Eoa
• constraint::types::Hash
• constraint::types::Key
• constraint::types::StateReadBytecode
• constraint::types::Value
• constraint::types::Word
• constraint::types::solution::SolutionDataIndex
• error::OpAsyncResult
• error::OpResult
• error::OpSyncResult
• error::StackResult
• error::StateReadResult
• error::StateSlotsResult