Function clingo_sys::clingo_propagate_init_solver_literal
source · 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
Expand description
! Map the given program literal or condition id to its solver literal. ! ! @param[in] init the target ! @param[in] aspif_literal the aspif literal to map ! @param[out] solver_literal the resulting solver literal ! @return whether the call was successful