@Override
public boolean equals(Object oth) {
if (oth == this) return true;
if (oth == null || !(getClass().isInstance(oth))) return false;
GroundSetDefinition p = (GroundSetDefinition) oth;
return setAtom.equals(p.setAtom);
}
@Override
public BindingMode getBinding(Atom atom) {
if (referencedAtoms.contains(atom)) {
if (setAtom.isActive()) return BindingMode.StrongRV;
else return BindingMode.WeakRV;
} else if (setAtom.equals(atom)) {
if (definitionType.getAggregator().enoughSupport(set1, set2, referencedAtoms))
return BindingMode.StrongRV;
else return BindingMode.WeakRV;
} else return BindingMode.NoBinding;
}