parse_bool_assignment_to_raw_vec

veripb_parser::assignment_parser

Function parse_bool_assignment_to_raw_vec 

Source 
pub fn parse_bool_assignment_to_raw_vec(
    lex: &mut Lexer<'_, AssignmentToken>,
    var_names: &mut VarNameManager,
) -> Result<Vec<Lit>, Error>
Expand description

Parse an assignment from a lexer to a raw Vec<Lit>.

This vector can be used to initialize an assignment or a propagation trail.