/**
* Add new descr.
*
* @param descr
*/
public void add(VerifierComponent descr) {
if (subSolver != null) {
subSolver.add(descr);
} else {
if (type == OperatorDescrType.AND) {
if (possibilityLists.isEmpty()) {
possibilityLists.add(new HashSet<VerifierComponent>());
}
for (Set<VerifierComponent> set : possibilityLists) {
set.add(descr);
}
} else if (type == OperatorDescrType.OR) {
Set<VerifierComponent> set = new HashSet<VerifierComponent>();
set.add(descr);
possibilityLists.add(set);
}
}
}
