ConstrBuilderArray.ConstrBuilderArray()

Constructor of constrbuilderarray object.

Synopsis

ConstrBuilderArray()

ConstrBuilderArray.getBuilder()

Get idx-th constraint builder object.

Synopsis

ConstrBuilder getBuilder(int idx)

Arguments

idx: index of the constraint builder.

Return

constraint builder object with index idx.

ConstrBuilderArray.pushBack()

Add a constraint builder object to constraint builder array.

Synopsis

void pushBack(ConstrBuilder builder)

Arguments

builder: a constraint builder object.

ConstrBuilderArray.size()

Get the number of constraint builder objects.

Synopsis

int size()

Return

number of constraint builder objects.