Skip to main content

try_decode_assignment

Function try_decode_assignment 

Source
pub fn try_decode_assignment(
    index: u64,
    vars: &[String],
) -> Result<Assignment, AssignmentCodecError>
Expand description

把三进制赋值编号解码为各变量的取值;编号超出变量域时返回错误。

与 decode_assignment 不同:拒绝重复变量名,并要求消费完 vars.len() 个三进制位后高位为 0。