/** @return the new constraints enforced at this handle, that aren't yet enforced at parents */
public Set<PConstraint> getDeltaEnforcedConstraints() {
Set<PConstraint> result = CollectionsFactory.getSet(); // new HashSet<PConstraint>(constraints);
if (primaryParentStub != null) result.removeAll(primaryParentStub.getAllEnforcedConstraints());
if (secondaryParentStub != null)
result.removeAll(secondaryParentStub.getAllEnforcedConstraints());
return result;
}
public Stub(
Stub<HandleType> primaryParent,
Stub<HandleType> secondaryParent,
Tuple variablesTuple,
HandleType handle) {
this(variablesTuple.invertIndex(), variablesTuple, handle);
this.primaryParentStub = primaryParent;
this.secondaryParentStub = secondaryParent;
constraints.addAll(primaryParent.getAllEnforcedConstraints());
constraints.addAll(secondaryParent.getAllEnforcedConstraints());
}
// public Stub(Stub<HandleType> template) {
// this(template.variablesIndex, template.variablesTuple, template.getHandle());
// }
public Stub(Stub<HandleType> primaryParent, HandleType handle) {
this(primaryParent.variablesIndex, primaryParent.variablesTuple, handle);
this.primaryParentStub = primaryParent;
constraints.addAll(primaryParent.getAllEnforcedConstraints());
}