parse_opb_objective

Function parse_opb_objective 

Source
pub fn parse_opb_objective(
    lex: &mut Lexer<'_, OPBToken>,
    var_name_manager: &mut VarNameManager,
    is_maximization: bool,
) -> Result<PBObjective, ParserError>
Expand description

Parse an objective specified in OPB format.