Function ipafair_set_semantics 

pub unsafe extern "C" fn ipafair_set_semantics(
    solver: *mut c_void,
    sem: semantics,
)

Set the argumentation semantics for the next calls of ‘ipafair_solve’.

If the semantics is not supported by the solver, enter state ERROR.

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