Function clingo_sys::clingo_propagate_init_add_literal

pub unsafe extern "C" fn clingo_propagate_init_add_literal(
    init: *mut clingo_propagate_init_t,
    freeze: bool,
    result: *mut clingo_literal_t
) -> bool

! Add a literal to the solver. ! ! To be able to use the variable in clauses during propagation or add watches to it, it has to be frozen. ! Otherwise, it might be removed during preprocessing. ! ! @attention If varibales were added, subsequent calls to functions adding constraints or ::clingo_propagate_init_propagate() are expensive. ! It is best to add varables in batches. ! ! @param[in] init the target ! @param[in] freeze whether to freeze the literal ! @param[out] result the added literal ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc