SosBuilderArray.SosBuilderArray()

Constructor of sosbuilderarray object.

Synopsis

SosBuilderArray()

SosBuilderArray.getBuilder()

Get idx-th SOS constraint builder object.

Synopsis

SosBuilder getBuilder(int idx)

Arguments

idx: index of the SOS constraint builder.

Return

SOS constraint builder object with index idx.

SosBuilderArray.pushBack()

Add a SOS constraint builder object to SOS constraint builder array.

Synopsis

void pushBack(SosBuilder builder)

Arguments

builder: a SOS constraint builder object.

SosBuilderArray.size()

Get the number of SOS constraint builder objects.

Synopsis

int size()

Return

number of SOS constraint builder objects.