/**
* Get the list of vertical corrector agents
*
* @return the list of vertical corrector agents
*/
public List<CorrectorAgent> getVerticalCorrectorAgents() {
final List<CorrectorAgent> verticalCorrectorAgents =
new ArrayList<CorrectorAgent>(_correctorAgents.size());
for (CorrectorAgent corrector : _correctorAgents) {
if (corrector.isVertical()) {
verticalCorrectorAgents.add(corrector);
}
}
return verticalCorrectorAgents;
}
/**
* Get the list of horizontal corrector agents
*
* @return the list of horizontal corrector agents
*/
public List<CorrectorAgent> getHorizontalCorrectorAgents() {
final List<CorrectorAgent> horizontalCorrectorAgents =
new ArrayList<CorrectorAgent>(_correctorAgents.size());
for (CorrectorAgent corrector : _correctorAgents) {
if (corrector.isHorizontal()) {
horizontalCorrectorAgents.add(corrector);
}
}
return horizontalCorrectorAgents;
}