Function clingo_sys::clingo_propagate_init_solver_literal

pub unsafe extern "C" fn clingo_propagate_init_solver_literal(
    init: *const clingo_propagate_init_t, 
    aspif_literal: clingo_literal_t, 
    solver_literal: *mut clingo_literal_t
) -> bool

Map the given program literal or condition id to its solver literal.

Parameters:

• init - the target
• aspif_literal - the aspif literal to map
• solver_literal - the resulting solver literal

Returns whether the call was successful