private void addXref(TermPair pair) {
SessionManager.getManager()
.apply(
new AddDbxrefHistoryItem(
pair.getReferrer().getID(),
this.makeDbxref(pair.getMaster().getID()),
false,
null));
}
/** @param pair term pair : (variable,constant) */
public void addPair(TermPair pair) {
pairList.add(pair);
variables.add(pair.getX());
}
/** @return list of substitutes */
public ArrayList<Term> getSubstitutes() {
ArrayList<Term> list = new ArrayList<Term>();
for (TermPair p : this.pairList) list.add(p.getY());
return list;
}
/**
* Copy constructor
*
* @param copy
*/
public Substitution(Substitution copy) {
pairList = new ArrayList<TermPair>(copy.getPairList());
variables = new ArrayList<Term>();
for (TermPair c : pairList) variables.add(c.getX());
}
/**
* Constructor
*
* @param termPairList list of term pairs
*/
public Substitution(ArrayList<TermPair> termPairList) {
pairList = termPairList;
variables = new ArrayList<Term>();
for (TermPair c : pairList) variables.add(c.getX());
}
