Function clingo_sys::clingo_backend_acyc_edge
[−]
[src]
pub unsafe extern "C" fn clingo_backend_acyc_edge(
backend: *mut clingo_backend_t,
node_u: c_int,
node_v: c_int,
condition: *const clingo_literal_t,
size: usize
) -> bool
Add an edge directive.
Parameters:
backend
the target backendnode_u
the start vertex of the edgenode_v
the end vertex of the edgecondition
the condition under which the edge is part of the graphsize
the number of atoms in the condition
Returns whether the call was successful; might set one of the following error codes: - ::clingo_error_bad_alloc