ipafair_del_attack

ipafair_sys

Function ipafair_del_attack 

Source 
pub unsafe extern "C" fn ipafair_del_attack(
    solver: *mut c_void,
    s: i32,
    t: i32,
)
Expand description

Delete the given attack (s,t) from the current argumentation framework.

If the attack does not exist, enter state ERROR.

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