pub unsafe extern "C" fn clingo_ast_has_attribute(
    ast: *mut clingo_ast_t,
    attribute: clingo_ast_attribute_t,
    has_attribute: *mut bool
) -> bool
Expand description

! Check if an AST has the given attribute. ! ! @param[in] ast the target AST ! @param[in] attribute the attribute to check ! @param[out] has_attribute the result ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_runtime