List of all items
Structs
- ConstraintFailure
- ConstraintReport
- DebugConstraintBuilder
- EvaluatedJoined
- FilteredAirBuilder
- Joined
- RowWindow
- VirtualPairCol
- boundary::BoundaryPublic
- symbolic::AirLayout
- symbolic::ConstraintLayout
- symbolic::SymbolicAirBuilder
- symbolic::SymbolicVariable
- symbolic::SymbolicVariableExt
Enums
- PairCol
- boundary::BoundaryEnd
- boundary::BoundaryIoError
- symbolic::BaseEntry
- symbolic::BaseLeaf
- symbolic::ExtEntry
- symbolic::ExtLeaf
- symbolic::SymbolicExpr
Traits
- Air
- AirBuilder
- AirBuilderWithContext
- BaseAir
- ExtensionBuilder
- Name
- NamedAirBuilder
- NamedExtensionBuilder
- Namespace
- NamespaceExt
- PassthroughNamedAirBuilder
- PermutationAirBuilder
- WindowAccess
- symbolic::SymLeaf
Functions
- boundary::validate
- check_all_constraints
- check_constraints
- symbolic::constraint_degree_from_poly_degree
- symbolic::get_all_symbolic_constraints
- symbolic::get_constraint_layout
- symbolic::get_max_constraint_degree
- symbolic::get_max_constraint_degree_extension
- symbolic::get_symbolic_constraints
- symbolic::get_symbolic_constraints_extension
- utils::add2
- utils::add3
- utils::checked_andn
- utils::checked_xor
- utils::pack_bits_le
- utils::u32_to_bits_le
- utils::u64_to_16_bit_limbs
- utils::u64_to_bits_le
- utils::xor_32_shift