Function clingo_sys::clingo_propagate_init_freeze_literal

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

! Freeze the given solver literal. ! ! Any solver literal that is not frozen is subject to simplification and might be removed in a preprocessing step after propagator initialization. ! A propagator should freeze all literals over which it might add clauses during propagation. ! Note that any watched literal is automatically frozen and that it does not matter which phase of the literal is frozen. ! ! @param[in] init the target ! @param[in] solver_literal the solver literal ! @return whether the call was successful