Try our new documentation site (beta).
Filter Content By
Version
Text Search
${sidebar_list_label} - Back
Filter by Language
GRBColumn.remove()
Remove a single term from a column.
void | remove ( | int | i ) |
Remove the term stored at index i of the column.
Arguments:
i: The index of the term to be removed.
boolean | remove ( | GRBConstr | constr ) |
Remove the term associated with constraint constr from the column.
Arguments:
constr: The constraint whose term should be removed.
Return value:
Returns true if the constraint appeared in the column (and was removed).