GenConstrBuilderArray.GenConstrBuilderArray()

Constructor of genconstrbuilderarray.

Synopsis

GenConstrBuilderArray()

GenConstrBuilderArray.getBuilder()

Get idx-th general constraint builder object.

Synopsis

GenConstrBuilder getBuilder(int idx)

Arguments

idx: index of the general constraint builder.

Return

general constraint builder object with index idx.

GenConstrBuilderArray.pushBack()

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

Synopsis

void pushBack(GenConstrBuilder builder)

Arguments

builder: a general constraint builder object.

GenConstrBuilderArray.size()

Get the number of general constraint builder objects.

Synopsis

int size()

Return

number of general constraint builder objects.