Function ipafair_add_attack 

pub unsafe extern "C" fn ipafair_add_attack(
    solver: *mut c_void,
    s: i32,
    t: i32,
)

Add the given attack (s,t) to the current argumentation framework.

If the attack already exists, or if s or t is not an existing argument added via ‘ipafair_add_argument’, enter state ERROR.

Required state: INPUT or SAT or UNSAT State after: INPUT or ERROR