add_disjunction


Description:

public int add_disjunction ()