/** * Creates a dependency set with no dependency and a set of explanation atoms * * @param explain */ public DependencySet(final Set<ATermAppl> explain) { _depends = DependencySet.ZERO; setExplain(explain); }
/** * Creates a dependency set with no dependency and a set of explanation atoms * * @param explain */ public DependencySet(final Set<ATermAppl> explain) { _depends = DependencySet.ZERO; setExplain(explain); }
/** * Creates a dependency set with the given IntSet (no separate copy of IntSet is created so if IntSet is modified this DependencySet will be affected). */ private DependencySet(final int branch, final IntSet depends, final Set<ATermAppl> explain) { _branch = branch; _depends = depends; setExplain(explain); }
/** * Creates a dependency set with the given IntSet (no separate copy of IntSet is created so if IntSet is modified this DependencySet will be affected). */ private DependencySet(final int branch, final IntSet depends, final Set<ATermAppl> explain) { _branch = branch; _depends = depends; setExplain(explain); }
/** * Create an empty set */ private DependencySet() { _depends = IntSetFactory.create(); setExplain(Collections.emptySet()); }
/** * Create an empty set */ private DependencySet() { _depends = IntSetFactory.create(); setExplain(Collections.emptySet()); }
/** * Create a dependency set that _depends on a single _branch * * @param branch Branch number */ public DependencySet(final int branch) { _depends = IntSetFactory.create(branch); setExplain(Collections.emptySet()); }
/** * Creates a dependency set with no dependency and single explanation atom * * @param explainAtom */ public DependencySet(final ATermAppl explainAtom) { _depends = DependencySet.ZERO; setExplain(SetUtils.singleton(explainAtom)); }
/** * Create a dependency set that _depends on a single _branch * * @param branch Branch number */ public DependencySet(final int branch) { _depends = IntSetFactory.create(branch); setExplain(Collections.emptySet()); }
/** * Creates a dependency set with no dependency and single explanation atom * * @param explainAtom */ public DependencySet(final ATermAppl explainAtom) { _depends = DependencySet.ZERO; setExplain(SetUtils.singleton(explainAtom)); }
/** * Remove explanation sets which contain references to a syntactic assertion * * @param assertion */ public void removeExplain(final ATermAppl assertion) { if (getExplain().contains(assertion)) { setExplain(new HashSet<ATermAppl>()); DependencyIndex._logger.fine(" Explain: removed "); } }
/** * Remove explanation sets which contain references to a syntactic assertion * * @param assertion */ public void removeExplain(final ATermAppl assertion) { if (getExplain().contains(assertion)) { setExplain(new HashSet<ATermAppl>()); DependencyIndex._logger.fine(" Explain: removed "); } }
ds.setExplain(getTermDepends().getExplain()); else ds.remove(getBranchIndexInABox());
ds.setExplain(getTermDepends().getExplain()); else ds.remove(getBranchIndexInABox());
ds.setExplain(getTermDepends().getExplain()); else ds.remove(getBranchIndexInABox()); ds.setExplain(explain);
ds.setExplain(getTermDepends().getExplain()); else ds.remove(getBranchIndexInABox()); ds.setExplain(explain);