Module assignment_parser 

Functions

parse_bool_assignment

Parse an assignment from a lexer to an Assignment of BooleanVar. This function returns a new Assignment.

parse_bool_assignment_into

Parse an assignment from a lexer into an existing Assignment of BooleanVar.

parse_bool_assignment_to_raw_vec

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