pub enum Pbs {
Show 79 variants
None(PbsNone),
MsgOnly(PbsMsgOnly),
CarryOnly(PbsCarryOnly),
CarryInMsg(PbsCarryInMsg),
MultCarryMsg(PbsMultCarryMsg),
MultCarryMsgLsb(PbsMultCarryMsgLsb),
MultCarryMsgMsb(PbsMultCarryMsgMsb),
BwAnd(PbsBwAnd),
BwOr(PbsBwOr),
BwXor(PbsBwXor),
CmpSign(PbsCmpSign),
CmpReduce(PbsCmpReduce),
CmpGt(PbsCmpGt),
CmpGte(PbsCmpGte),
CmpLt(PbsCmpLt),
CmpLte(PbsCmpLte),
CmpEq(PbsCmpEq),
CmpNeq(PbsCmpNeq),
ManyGenProp(PbsManyGenProp),
ReduceCarry2(PbsReduceCarry2),
ReduceCarry3(PbsReduceCarry3),
ReduceCarryPad(PbsReduceCarryPad),
GenPropAdd(PbsGenPropAdd),
IfTrueZeroed(PbsIfTrueZeroed),
IfFalseZeroed(PbsIfFalseZeroed),
Ripple2GenProp(PbsRipple2GenProp),
TestMany2(PbsTestMany2),
TestMany4(PbsTestMany4),
TestMany8(PbsTestMany8),
ManyCarryMsg(PbsManyCarryMsg),
CmpGtMrg(PbsCmpGtMrg),
CmpGteMrg(PbsCmpGteMrg),
CmpLtMrg(PbsCmpLtMrg),
CmpLteMrg(PbsCmpLteMrg),
CmpEqMrg(PbsCmpEqMrg),
CmpNeqMrg(PbsCmpNeqMrg),
IsSome(PbsIsSome),
CarryIsSome(PbsCarryIsSome),
CarryIsNone(PbsCarryIsNone),
MultCarryMsgIsSome(PbsMultCarryMsgIsSome),
MultCarryMsgMsbIsSome(PbsMultCarryMsgMsbIsSome),
IsNull(PbsIsNull),
IsNullPos1(PbsIsNullPos1),
NotNull(PbsNotNull),
MsgNotNull(PbsMsgNotNull),
MsgNotNullPos1(PbsMsgNotNullPos1),
ManyMsgSplitShift1(PbsManyMsgSplitShift1),
SolvePropGroupFinal0(PbsSolvePropGroupFinal0),
SolvePropGroupFinal1(PbsSolvePropGroupFinal1),
SolvePropGroupFinal2(PbsSolvePropGroupFinal2),
ExtractPropGroup0(PbsExtractPropGroup0),
ExtractPropGroup1(PbsExtractPropGroup1),
ExtractPropGroup2(PbsExtractPropGroup2),
ExtractPropGroup3(PbsExtractPropGroup3),
SolveProp(PbsSolveProp),
SolvePropCarry(PbsSolvePropCarry),
SolveQuotient(PbsSolveQuotient),
SolveQuotientPos1(PbsSolveQuotientPos1),
IfPos1FalseZeroed(PbsIfPos1FalseZeroed),
IfPos1FalseZeroedMsgCarry1(PbsIfPos1FalseZeroedMsgCarry1),
ShiftLeftByCarryPos0Msg(PbsShiftLeftByCarryPos0Msg),
ShiftLeftByCarryPos0MsgNext(PbsShiftLeftByCarryPos0MsgNext),
ShiftRightByCarryPos0Msg(PbsShiftRightByCarryPos0Msg),
ShiftRightByCarryPos0MsgNext(PbsShiftRightByCarryPos0MsgNext),
IfPos0TrueZeroed(PbsIfPos0TrueZeroed),
IfPos0FalseZeroed(PbsIfPos0FalseZeroed),
IfPos1TrueZeroed(PbsIfPos1TrueZeroed),
ManyInv1CarryMsg(PbsManyInv1CarryMsg),
ManyInv2CarryMsg(PbsManyInv2CarryMsg),
ManyInv3CarryMsg(PbsManyInv3CarryMsg),
ManyInv4CarryMsg(PbsManyInv4CarryMsg),
ManyInv5CarryMsg(PbsManyInv5CarryMsg),
ManyInv6CarryMsg(PbsManyInv6CarryMsg),
ManyInv7CarryMsg(PbsManyInv7CarryMsg),
ManyMsgSplit(PbsManyMsgSplit),
Manym2lPropBit1MsgSplit(PbsManym2lPropBit1MsgSplit),
Manym2lPropBit0MsgSplit(PbsManym2lPropBit0MsgSplit),
Manyl2mPropBit1MsgSplit(PbsManyl2mPropBit1MsgSplit),
Manyl2mPropBit0MsgSplit(PbsManyl2mPropBit0MsgSplit),
}
Expand description
Aggregate Pbs concrete type in one enumeration
Variants§
None(PbsNone)
MsgOnly(PbsMsgOnly)
CarryOnly(PbsCarryOnly)
CarryInMsg(PbsCarryInMsg)
MultCarryMsg(PbsMultCarryMsg)
MultCarryMsgLsb(PbsMultCarryMsgLsb)
MultCarryMsgMsb(PbsMultCarryMsgMsb)
BwAnd(PbsBwAnd)
BwOr(PbsBwOr)
BwXor(PbsBwXor)
CmpSign(PbsCmpSign)
CmpReduce(PbsCmpReduce)
CmpGt(PbsCmpGt)
CmpGte(PbsCmpGte)
CmpLt(PbsCmpLt)
CmpLte(PbsCmpLte)
CmpEq(PbsCmpEq)
CmpNeq(PbsCmpNeq)
ManyGenProp(PbsManyGenProp)
ReduceCarry2(PbsReduceCarry2)
ReduceCarry3(PbsReduceCarry3)
ReduceCarryPad(PbsReduceCarryPad)
GenPropAdd(PbsGenPropAdd)
IfTrueZeroed(PbsIfTrueZeroed)
IfFalseZeroed(PbsIfFalseZeroed)
Ripple2GenProp(PbsRipple2GenProp)
TestMany2(PbsTestMany2)
TestMany4(PbsTestMany4)
TestMany8(PbsTestMany8)
ManyCarryMsg(PbsManyCarryMsg)
CmpGtMrg(PbsCmpGtMrg)
CmpGteMrg(PbsCmpGteMrg)
CmpLtMrg(PbsCmpLtMrg)
CmpLteMrg(PbsCmpLteMrg)
CmpEqMrg(PbsCmpEqMrg)
CmpNeqMrg(PbsCmpNeqMrg)
IsSome(PbsIsSome)
CarryIsSome(PbsCarryIsSome)
CarryIsNone(PbsCarryIsNone)
MultCarryMsgIsSome(PbsMultCarryMsgIsSome)
MultCarryMsgMsbIsSome(PbsMultCarryMsgMsbIsSome)
IsNull(PbsIsNull)
IsNullPos1(PbsIsNullPos1)
NotNull(PbsNotNull)
MsgNotNull(PbsMsgNotNull)
MsgNotNullPos1(PbsMsgNotNullPos1)
ManyMsgSplitShift1(PbsManyMsgSplitShift1)
SolvePropGroupFinal0(PbsSolvePropGroupFinal0)
SolvePropGroupFinal1(PbsSolvePropGroupFinal1)
SolvePropGroupFinal2(PbsSolvePropGroupFinal2)
ExtractPropGroup0(PbsExtractPropGroup0)
ExtractPropGroup1(PbsExtractPropGroup1)
ExtractPropGroup2(PbsExtractPropGroup2)
ExtractPropGroup3(PbsExtractPropGroup3)
SolveProp(PbsSolveProp)
SolvePropCarry(PbsSolvePropCarry)
SolveQuotient(PbsSolveQuotient)
SolveQuotientPos1(PbsSolveQuotientPos1)
IfPos1FalseZeroed(PbsIfPos1FalseZeroed)
IfPos1FalseZeroedMsgCarry1(PbsIfPos1FalseZeroedMsgCarry1)
ShiftLeftByCarryPos0Msg(PbsShiftLeftByCarryPos0Msg)
ShiftLeftByCarryPos0MsgNext(PbsShiftLeftByCarryPos0MsgNext)
ShiftRightByCarryPos0Msg(PbsShiftRightByCarryPos0Msg)
ShiftRightByCarryPos0MsgNext(PbsShiftRightByCarryPos0MsgNext)
IfPos0TrueZeroed(PbsIfPos0TrueZeroed)
IfPos0FalseZeroed(PbsIfPos0FalseZeroed)
IfPos1TrueZeroed(PbsIfPos1TrueZeroed)
ManyInv1CarryMsg(PbsManyInv1CarryMsg)
ManyInv2CarryMsg(PbsManyInv2CarryMsg)
ManyInv3CarryMsg(PbsManyInv3CarryMsg)
ManyInv4CarryMsg(PbsManyInv4CarryMsg)
ManyInv5CarryMsg(PbsManyInv5CarryMsg)
ManyInv6CarryMsg(PbsManyInv6CarryMsg)
ManyInv7CarryMsg(PbsManyInv7CarryMsg)
ManyMsgSplit(PbsManyMsgSplit)
Manym2lPropBit1MsgSplit(PbsManym2lPropBit1MsgSplit)
Manym2lPropBit0MsgSplit(PbsManym2lPropBit0MsgSplit)
Manyl2mPropBit1MsgSplit(PbsManyl2mPropBit1MsgSplit)
Manyl2mPropBit0MsgSplit(PbsManyl2mPropBit0MsgSplit)
Implementations§
Trait Implementations§
Source§impl From<PbsCarryInMsg> for Pbs
impl From<PbsCarryInMsg> for Pbs
Source§fn from(v: PbsCarryInMsg) -> Pbs
fn from(v: PbsCarryInMsg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsCarryIsNone> for Pbs
impl From<PbsCarryIsNone> for Pbs
Source§fn from(v: PbsCarryIsNone) -> Pbs
fn from(v: PbsCarryIsNone) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsCarryIsSome> for Pbs
impl From<PbsCarryIsSome> for Pbs
Source§fn from(v: PbsCarryIsSome) -> Pbs
fn from(v: PbsCarryIsSome) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsCarryOnly> for Pbs
impl From<PbsCarryOnly> for Pbs
Source§fn from(v: PbsCarryOnly) -> Pbs
fn from(v: PbsCarryOnly) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsCmpEqMrg> for Pbs
impl From<PbsCmpEqMrg> for Pbs
Source§fn from(v: PbsCmpEqMrg) -> Pbs
fn from(v: PbsCmpEqMrg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsCmpGtMrg> for Pbs
impl From<PbsCmpGtMrg> for Pbs
Source§fn from(v: PbsCmpGtMrg) -> Pbs
fn from(v: PbsCmpGtMrg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsCmpGteMrg> for Pbs
impl From<PbsCmpGteMrg> for Pbs
Source§fn from(v: PbsCmpGteMrg) -> Pbs
fn from(v: PbsCmpGteMrg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsCmpLtMrg> for Pbs
impl From<PbsCmpLtMrg> for Pbs
Source§fn from(v: PbsCmpLtMrg) -> Pbs
fn from(v: PbsCmpLtMrg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsCmpLteMrg> for Pbs
impl From<PbsCmpLteMrg> for Pbs
Source§fn from(v: PbsCmpLteMrg) -> Pbs
fn from(v: PbsCmpLteMrg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsCmpNeqMrg> for Pbs
impl From<PbsCmpNeqMrg> for Pbs
Source§fn from(v: PbsCmpNeqMrg) -> Pbs
fn from(v: PbsCmpNeqMrg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsCmpReduce> for Pbs
impl From<PbsCmpReduce> for Pbs
Source§fn from(v: PbsCmpReduce) -> Pbs
fn from(v: PbsCmpReduce) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsCmpSign> for Pbs
impl From<PbsCmpSign> for Pbs
Source§fn from(v: PbsCmpSign) -> Pbs
fn from(v: PbsCmpSign) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsExtractPropGroup0> for Pbs
impl From<PbsExtractPropGroup0> for Pbs
Source§fn from(v: PbsExtractPropGroup0) -> Pbs
fn from(v: PbsExtractPropGroup0) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsExtractPropGroup1> for Pbs
impl From<PbsExtractPropGroup1> for Pbs
Source§fn from(v: PbsExtractPropGroup1) -> Pbs
fn from(v: PbsExtractPropGroup1) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsExtractPropGroup2> for Pbs
impl From<PbsExtractPropGroup2> for Pbs
Source§fn from(v: PbsExtractPropGroup2) -> Pbs
fn from(v: PbsExtractPropGroup2) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsExtractPropGroup3> for Pbs
impl From<PbsExtractPropGroup3> for Pbs
Source§fn from(v: PbsExtractPropGroup3) -> Pbs
fn from(v: PbsExtractPropGroup3) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsGenPropAdd> for Pbs
impl From<PbsGenPropAdd> for Pbs
Source§fn from(v: PbsGenPropAdd) -> Pbs
fn from(v: PbsGenPropAdd) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsIfFalseZeroed> for Pbs
impl From<PbsIfFalseZeroed> for Pbs
Source§fn from(v: PbsIfFalseZeroed) -> Pbs
fn from(v: PbsIfFalseZeroed) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsIfPos0FalseZeroed> for Pbs
impl From<PbsIfPos0FalseZeroed> for Pbs
Source§fn from(v: PbsIfPos0FalseZeroed) -> Pbs
fn from(v: PbsIfPos0FalseZeroed) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsIfPos0TrueZeroed> for Pbs
impl From<PbsIfPos0TrueZeroed> for Pbs
Source§fn from(v: PbsIfPos0TrueZeroed) -> Pbs
fn from(v: PbsIfPos0TrueZeroed) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsIfPos1FalseZeroed> for Pbs
impl From<PbsIfPos1FalseZeroed> for Pbs
Source§fn from(v: PbsIfPos1FalseZeroed) -> Pbs
fn from(v: PbsIfPos1FalseZeroed) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsIfPos1FalseZeroedMsgCarry1> for Pbs
impl From<PbsIfPos1FalseZeroedMsgCarry1> for Pbs
Source§fn from(v: PbsIfPos1FalseZeroedMsgCarry1) -> Pbs
fn from(v: PbsIfPos1FalseZeroedMsgCarry1) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsIfPos1TrueZeroed> for Pbs
impl From<PbsIfPos1TrueZeroed> for Pbs
Source§fn from(v: PbsIfPos1TrueZeroed) -> Pbs
fn from(v: PbsIfPos1TrueZeroed) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsIfTrueZeroed> for Pbs
impl From<PbsIfTrueZeroed> for Pbs
Source§fn from(v: PbsIfTrueZeroed) -> Pbs
fn from(v: PbsIfTrueZeroed) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsIsNullPos1> for Pbs
impl From<PbsIsNullPos1> for Pbs
Source§fn from(v: PbsIsNullPos1) -> Pbs
fn from(v: PbsIsNullPos1) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsManyCarryMsg> for Pbs
impl From<PbsManyCarryMsg> for Pbs
Source§fn from(v: PbsManyCarryMsg) -> Pbs
fn from(v: PbsManyCarryMsg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsManyGenProp> for Pbs
impl From<PbsManyGenProp> for Pbs
Source§fn from(v: PbsManyGenProp) -> Pbs
fn from(v: PbsManyGenProp) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsManyInv1CarryMsg> for Pbs
impl From<PbsManyInv1CarryMsg> for Pbs
Source§fn from(v: PbsManyInv1CarryMsg) -> Pbs
fn from(v: PbsManyInv1CarryMsg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsManyInv2CarryMsg> for Pbs
impl From<PbsManyInv2CarryMsg> for Pbs
Source§fn from(v: PbsManyInv2CarryMsg) -> Pbs
fn from(v: PbsManyInv2CarryMsg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsManyInv3CarryMsg> for Pbs
impl From<PbsManyInv3CarryMsg> for Pbs
Source§fn from(v: PbsManyInv3CarryMsg) -> Pbs
fn from(v: PbsManyInv3CarryMsg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsManyInv4CarryMsg> for Pbs
impl From<PbsManyInv4CarryMsg> for Pbs
Source§fn from(v: PbsManyInv4CarryMsg) -> Pbs
fn from(v: PbsManyInv4CarryMsg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsManyInv5CarryMsg> for Pbs
impl From<PbsManyInv5CarryMsg> for Pbs
Source§fn from(v: PbsManyInv5CarryMsg) -> Pbs
fn from(v: PbsManyInv5CarryMsg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsManyInv6CarryMsg> for Pbs
impl From<PbsManyInv6CarryMsg> for Pbs
Source§fn from(v: PbsManyInv6CarryMsg) -> Pbs
fn from(v: PbsManyInv6CarryMsg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsManyInv7CarryMsg> for Pbs
impl From<PbsManyInv7CarryMsg> for Pbs
Source§fn from(v: PbsManyInv7CarryMsg) -> Pbs
fn from(v: PbsManyInv7CarryMsg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsManyMsgSplit> for Pbs
impl From<PbsManyMsgSplit> for Pbs
Source§fn from(v: PbsManyMsgSplit) -> Pbs
fn from(v: PbsManyMsgSplit) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsManyMsgSplitShift1> for Pbs
impl From<PbsManyMsgSplitShift1> for Pbs
Source§fn from(v: PbsManyMsgSplitShift1) -> Pbs
fn from(v: PbsManyMsgSplitShift1) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsManyl2mPropBit0MsgSplit> for Pbs
impl From<PbsManyl2mPropBit0MsgSplit> for Pbs
Source§fn from(v: PbsManyl2mPropBit0MsgSplit) -> Pbs
fn from(v: PbsManyl2mPropBit0MsgSplit) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsManyl2mPropBit1MsgSplit> for Pbs
impl From<PbsManyl2mPropBit1MsgSplit> for Pbs
Source§fn from(v: PbsManyl2mPropBit1MsgSplit) -> Pbs
fn from(v: PbsManyl2mPropBit1MsgSplit) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsManym2lPropBit0MsgSplit> for Pbs
impl From<PbsManym2lPropBit0MsgSplit> for Pbs
Source§fn from(v: PbsManym2lPropBit0MsgSplit) -> Pbs
fn from(v: PbsManym2lPropBit0MsgSplit) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsManym2lPropBit1MsgSplit> for Pbs
impl From<PbsManym2lPropBit1MsgSplit> for Pbs
Source§fn from(v: PbsManym2lPropBit1MsgSplit) -> Pbs
fn from(v: PbsManym2lPropBit1MsgSplit) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsMsgNotNull> for Pbs
impl From<PbsMsgNotNull> for Pbs
Source§fn from(v: PbsMsgNotNull) -> Pbs
fn from(v: PbsMsgNotNull) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsMsgNotNullPos1> for Pbs
impl From<PbsMsgNotNullPos1> for Pbs
Source§fn from(v: PbsMsgNotNullPos1) -> Pbs
fn from(v: PbsMsgNotNullPos1) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsMsgOnly> for Pbs
impl From<PbsMsgOnly> for Pbs
Source§fn from(v: PbsMsgOnly) -> Pbs
fn from(v: PbsMsgOnly) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsMultCarryMsg> for Pbs
impl From<PbsMultCarryMsg> for Pbs
Source§fn from(v: PbsMultCarryMsg) -> Pbs
fn from(v: PbsMultCarryMsg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsMultCarryMsgIsSome> for Pbs
impl From<PbsMultCarryMsgIsSome> for Pbs
Source§fn from(v: PbsMultCarryMsgIsSome) -> Pbs
fn from(v: PbsMultCarryMsgIsSome) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsMultCarryMsgLsb> for Pbs
impl From<PbsMultCarryMsgLsb> for Pbs
Source§fn from(v: PbsMultCarryMsgLsb) -> Pbs
fn from(v: PbsMultCarryMsgLsb) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsMultCarryMsgMsb> for Pbs
impl From<PbsMultCarryMsgMsb> for Pbs
Source§fn from(v: PbsMultCarryMsgMsb) -> Pbs
fn from(v: PbsMultCarryMsgMsb) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsMultCarryMsgMsbIsSome> for Pbs
impl From<PbsMultCarryMsgMsbIsSome> for Pbs
Source§fn from(v: PbsMultCarryMsgMsbIsSome) -> Pbs
fn from(v: PbsMultCarryMsgMsbIsSome) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsNotNull> for Pbs
impl From<PbsNotNull> for Pbs
Source§fn from(v: PbsNotNull) -> Pbs
fn from(v: PbsNotNull) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsReduceCarry2> for Pbs
impl From<PbsReduceCarry2> for Pbs
Source§fn from(v: PbsReduceCarry2) -> Pbs
fn from(v: PbsReduceCarry2) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsReduceCarry3> for Pbs
impl From<PbsReduceCarry3> for Pbs
Source§fn from(v: PbsReduceCarry3) -> Pbs
fn from(v: PbsReduceCarry3) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsReduceCarryPad> for Pbs
impl From<PbsReduceCarryPad> for Pbs
Source§fn from(v: PbsReduceCarryPad) -> Pbs
fn from(v: PbsReduceCarryPad) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsRipple2GenProp> for Pbs
impl From<PbsRipple2GenProp> for Pbs
Source§fn from(v: PbsRipple2GenProp) -> Pbs
fn from(v: PbsRipple2GenProp) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsShiftLeftByCarryPos0Msg> for Pbs
impl From<PbsShiftLeftByCarryPos0Msg> for Pbs
Source§fn from(v: PbsShiftLeftByCarryPos0Msg) -> Pbs
fn from(v: PbsShiftLeftByCarryPos0Msg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsShiftLeftByCarryPos0MsgNext> for Pbs
impl From<PbsShiftLeftByCarryPos0MsgNext> for Pbs
Source§fn from(v: PbsShiftLeftByCarryPos0MsgNext) -> Pbs
fn from(v: PbsShiftLeftByCarryPos0MsgNext) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsShiftRightByCarryPos0Msg> for Pbs
impl From<PbsShiftRightByCarryPos0Msg> for Pbs
Source§fn from(v: PbsShiftRightByCarryPos0Msg) -> Pbs
fn from(v: PbsShiftRightByCarryPos0Msg) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsShiftRightByCarryPos0MsgNext> for Pbs
impl From<PbsShiftRightByCarryPos0MsgNext> for Pbs
Source§fn from(v: PbsShiftRightByCarryPos0MsgNext) -> Pbs
fn from(v: PbsShiftRightByCarryPos0MsgNext) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsSolveProp> for Pbs
impl From<PbsSolveProp> for Pbs
Source§fn from(v: PbsSolveProp) -> Pbs
fn from(v: PbsSolveProp) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsSolvePropCarry> for Pbs
impl From<PbsSolvePropCarry> for Pbs
Source§fn from(v: PbsSolvePropCarry) -> Pbs
fn from(v: PbsSolvePropCarry) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsSolvePropGroupFinal0> for Pbs
impl From<PbsSolvePropGroupFinal0> for Pbs
Source§fn from(v: PbsSolvePropGroupFinal0) -> Pbs
fn from(v: PbsSolvePropGroupFinal0) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsSolvePropGroupFinal1> for Pbs
impl From<PbsSolvePropGroupFinal1> for Pbs
Source§fn from(v: PbsSolvePropGroupFinal1) -> Pbs
fn from(v: PbsSolvePropGroupFinal1) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsSolvePropGroupFinal2> for Pbs
impl From<PbsSolvePropGroupFinal2> for Pbs
Source§fn from(v: PbsSolvePropGroupFinal2) -> Pbs
fn from(v: PbsSolvePropGroupFinal2) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsSolveQuotient> for Pbs
impl From<PbsSolveQuotient> for Pbs
Source§fn from(v: PbsSolveQuotient) -> Pbs
fn from(v: PbsSolveQuotient) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsSolveQuotientPos1> for Pbs
impl From<PbsSolveQuotientPos1> for Pbs
Source§fn from(v: PbsSolveQuotientPos1) -> Pbs
fn from(v: PbsSolveQuotientPos1) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsTestMany2> for Pbs
impl From<PbsTestMany2> for Pbs
Source§fn from(v: PbsTestMany2) -> Pbs
fn from(v: PbsTestMany2) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsTestMany4> for Pbs
impl From<PbsTestMany4> for Pbs
Source§fn from(v: PbsTestMany4) -> Pbs
fn from(v: PbsTestMany4) -> Pbs
Converts to this type from the input type.
Source§impl From<PbsTestMany8> for Pbs
impl From<PbsTestMany8> for Pbs
Source§fn from(v: PbsTestMany8) -> Pbs
fn from(v: PbsTestMany8) -> Pbs
Converts to this type from the input type.
Source§impl PbsLut for Pbs
impl PbsLut for Pbs
fn name(&self) -> &'static str
fn gid(&self) -> PbsGid
fn lut_nb(&self) -> u8
fn lut_lg(&self) -> u8
fn fn_at( &self, __enum_dispatch_arg_0: usize, __enum_dispatch_arg_1: &DigitParameters, __enum_dispatch_arg_2: usize, ) -> usize
fn deg_at( &self, __enum_dispatch_arg_0: usize, __enum_dispatch_arg_1: &DigitParameters, __enum_dispatch_arg_2: usize, ) -> usize
fn lut_msk(&self) -> usize
Source§impl TryInto<PbsCarryInMsg> for Pbs
impl TryInto<PbsCarryInMsg> for Pbs
Source§impl TryInto<PbsCarryIsNone> for Pbs
impl TryInto<PbsCarryIsNone> for Pbs
Source§impl TryInto<PbsCarryIsSome> for Pbs
impl TryInto<PbsCarryIsSome> for Pbs
Source§impl TryInto<PbsCarryOnly> for Pbs
impl TryInto<PbsCarryOnly> for Pbs
Source§impl TryInto<PbsCmpEqMrg> for Pbs
impl TryInto<PbsCmpEqMrg> for Pbs
Source§impl TryInto<PbsCmpGtMrg> for Pbs
impl TryInto<PbsCmpGtMrg> for Pbs
Source§impl TryInto<PbsCmpGteMrg> for Pbs
impl TryInto<PbsCmpGteMrg> for Pbs
Source§impl TryInto<PbsCmpLtMrg> for Pbs
impl TryInto<PbsCmpLtMrg> for Pbs
Source§impl TryInto<PbsCmpLteMrg> for Pbs
impl TryInto<PbsCmpLteMrg> for Pbs
Source§impl TryInto<PbsCmpNeqMrg> for Pbs
impl TryInto<PbsCmpNeqMrg> for Pbs
Source§impl TryInto<PbsCmpReduce> for Pbs
impl TryInto<PbsCmpReduce> for Pbs
Source§impl TryInto<PbsCmpSign> for Pbs
impl TryInto<PbsCmpSign> for Pbs
Source§impl TryInto<PbsExtractPropGroup0> for Pbs
impl TryInto<PbsExtractPropGroup0> for Pbs
Source§impl TryInto<PbsExtractPropGroup1> for Pbs
impl TryInto<PbsExtractPropGroup1> for Pbs
Source§impl TryInto<PbsExtractPropGroup2> for Pbs
impl TryInto<PbsExtractPropGroup2> for Pbs
Source§impl TryInto<PbsExtractPropGroup3> for Pbs
impl TryInto<PbsExtractPropGroup3> for Pbs
Source§impl TryInto<PbsGenPropAdd> for Pbs
impl TryInto<PbsGenPropAdd> for Pbs
Source§impl TryInto<PbsIfFalseZeroed> for Pbs
impl TryInto<PbsIfFalseZeroed> for Pbs
Source§impl TryInto<PbsIfPos0FalseZeroed> for Pbs
impl TryInto<PbsIfPos0FalseZeroed> for Pbs
Source§impl TryInto<PbsIfPos0TrueZeroed> for Pbs
impl TryInto<PbsIfPos0TrueZeroed> for Pbs
Source§impl TryInto<PbsIfPos1FalseZeroed> for Pbs
impl TryInto<PbsIfPos1FalseZeroed> for Pbs
Source§impl TryInto<PbsIfPos1FalseZeroedMsgCarry1> for Pbs
impl TryInto<PbsIfPos1FalseZeroedMsgCarry1> for Pbs
Source§impl TryInto<PbsIfPos1TrueZeroed> for Pbs
impl TryInto<PbsIfPos1TrueZeroed> for Pbs
Source§impl TryInto<PbsIfTrueZeroed> for Pbs
impl TryInto<PbsIfTrueZeroed> for Pbs
Source§impl TryInto<PbsIsNullPos1> for Pbs
impl TryInto<PbsIsNullPos1> for Pbs
Source§impl TryInto<PbsManyCarryMsg> for Pbs
impl TryInto<PbsManyCarryMsg> for Pbs
Source§impl TryInto<PbsManyGenProp> for Pbs
impl TryInto<PbsManyGenProp> for Pbs
Source§impl TryInto<PbsManyInv1CarryMsg> for Pbs
impl TryInto<PbsManyInv1CarryMsg> for Pbs
Source§impl TryInto<PbsManyInv2CarryMsg> for Pbs
impl TryInto<PbsManyInv2CarryMsg> for Pbs
Source§impl TryInto<PbsManyInv3CarryMsg> for Pbs
impl TryInto<PbsManyInv3CarryMsg> for Pbs
Source§impl TryInto<PbsManyInv4CarryMsg> for Pbs
impl TryInto<PbsManyInv4CarryMsg> for Pbs
Source§impl TryInto<PbsManyInv5CarryMsg> for Pbs
impl TryInto<PbsManyInv5CarryMsg> for Pbs
Source§impl TryInto<PbsManyInv6CarryMsg> for Pbs
impl TryInto<PbsManyInv6CarryMsg> for Pbs
Source§impl TryInto<PbsManyInv7CarryMsg> for Pbs
impl TryInto<PbsManyInv7CarryMsg> for Pbs
Source§impl TryInto<PbsManyMsgSplit> for Pbs
impl TryInto<PbsManyMsgSplit> for Pbs
Source§impl TryInto<PbsManyMsgSplitShift1> for Pbs
impl TryInto<PbsManyMsgSplitShift1> for Pbs
Source§impl TryInto<PbsManyl2mPropBit0MsgSplit> for Pbs
impl TryInto<PbsManyl2mPropBit0MsgSplit> for Pbs
Source§impl TryInto<PbsManyl2mPropBit1MsgSplit> for Pbs
impl TryInto<PbsManyl2mPropBit1MsgSplit> for Pbs
Source§impl TryInto<PbsManym2lPropBit0MsgSplit> for Pbs
impl TryInto<PbsManym2lPropBit0MsgSplit> for Pbs
Source§impl TryInto<PbsManym2lPropBit1MsgSplit> for Pbs
impl TryInto<PbsManym2lPropBit1MsgSplit> for Pbs
Source§impl TryInto<PbsMsgNotNull> for Pbs
impl TryInto<PbsMsgNotNull> for Pbs
Source§impl TryInto<PbsMsgNotNullPos1> for Pbs
impl TryInto<PbsMsgNotNullPos1> for Pbs
Source§impl TryInto<PbsMsgOnly> for Pbs
impl TryInto<PbsMsgOnly> for Pbs
Source§impl TryInto<PbsMultCarryMsg> for Pbs
impl TryInto<PbsMultCarryMsg> for Pbs
Source§impl TryInto<PbsMultCarryMsgIsSome> for Pbs
impl TryInto<PbsMultCarryMsgIsSome> for Pbs
Source§impl TryInto<PbsMultCarryMsgLsb> for Pbs
impl TryInto<PbsMultCarryMsgLsb> for Pbs
Source§impl TryInto<PbsMultCarryMsgMsb> for Pbs
impl TryInto<PbsMultCarryMsgMsb> for Pbs
Source§impl TryInto<PbsMultCarryMsgMsbIsSome> for Pbs
impl TryInto<PbsMultCarryMsgMsbIsSome> for Pbs
Source§impl TryInto<PbsNotNull> for Pbs
impl TryInto<PbsNotNull> for Pbs
Source§impl TryInto<PbsReduceCarry2> for Pbs
impl TryInto<PbsReduceCarry2> for Pbs
Source§impl TryInto<PbsReduceCarry3> for Pbs
impl TryInto<PbsReduceCarry3> for Pbs
Source§impl TryInto<PbsReduceCarryPad> for Pbs
impl TryInto<PbsReduceCarryPad> for Pbs
Source§impl TryInto<PbsRipple2GenProp> for Pbs
impl TryInto<PbsRipple2GenProp> for Pbs
Source§impl TryInto<PbsShiftLeftByCarryPos0Msg> for Pbs
impl TryInto<PbsShiftLeftByCarryPos0Msg> for Pbs
Source§impl TryInto<PbsShiftLeftByCarryPos0MsgNext> for Pbs
impl TryInto<PbsShiftLeftByCarryPos0MsgNext> for Pbs
Source§impl TryInto<PbsShiftRightByCarryPos0Msg> for Pbs
impl TryInto<PbsShiftRightByCarryPos0Msg> for Pbs
Source§impl TryInto<PbsShiftRightByCarryPos0MsgNext> for Pbs
impl TryInto<PbsShiftRightByCarryPos0MsgNext> for Pbs
Source§impl TryInto<PbsSolveProp> for Pbs
impl TryInto<PbsSolveProp> for Pbs
Source§impl TryInto<PbsSolvePropCarry> for Pbs
impl TryInto<PbsSolvePropCarry> for Pbs
Source§impl TryInto<PbsSolvePropGroupFinal0> for Pbs
impl TryInto<PbsSolvePropGroupFinal0> for Pbs
Source§impl TryInto<PbsSolvePropGroupFinal1> for Pbs
impl TryInto<PbsSolvePropGroupFinal1> for Pbs
Source§impl TryInto<PbsSolvePropGroupFinal2> for Pbs
impl TryInto<PbsSolvePropGroupFinal2> for Pbs
Source§impl TryInto<PbsSolveQuotient> for Pbs
impl TryInto<PbsSolveQuotient> for Pbs
Source§impl TryInto<PbsSolveQuotientPos1> for Pbs
impl TryInto<PbsSolveQuotientPos1> for Pbs
Source§impl TryInto<PbsTestMany2> for Pbs
impl TryInto<PbsTestMany2> for Pbs
Source§impl TryInto<PbsTestMany4> for Pbs
impl TryInto<PbsTestMany4> for Pbs
Source§impl TryInto<PbsTestMany8> for Pbs
impl TryInto<PbsTestMany8> for Pbs
impl Eq for Pbs
impl StructuralPartialEq for Pbs
Auto Trait Implementations§
impl Freeze for Pbs
impl RefUnwindSafe for Pbs
impl Send for Pbs
impl Sync for Pbs
impl Unpin for Pbs
impl UnwindSafe for Pbs
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more