de.fau.cs.www8.jadeowlcodec.aboxupdater
Class AbsUpdater

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.AbstractASetUpdater
      de.fau.cs.www8.jadeowlcodec.aboxupdater.AbsUpdater

All Implemented Interfaces:

ASetUpdater

Direct Known Subclasses:

SafeContractAllUpdater

public abstract class AbsUpdater
extends AbstractASetUpdater

Constructor Summary

AbsUpdater()

Method Summary

boolean	copyIndividuals(java.util.Set<Uri.Individual> individualsToCopy, AssertionSet from, AssertionSet to)
protected abstract java.util.Set<Solution>	selectSolution(java.util.Set<Solution> solutions)

Methods inherited from class de.fau.cs.www8.jadeowlcodec.AbstractASetUpdater

copyEveryIndividual

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbsUpdater

public AbsUpdater()

Method Detail

copyIndividuals

public boolean copyIndividuals(java.util.Set<Uri.Individual> individualsToCopy,
                               AssertionSet from,
                               AssertionSet to)

from - AssertionSet to copy data from

to - AssertionSet to copy into, must not remove existing GenericIndividuals

Returns:

false if the update failed

selectSolution

protected abstract java.util.Set<Solution> selectSolution(java.util.Set<Solution> solutions)

Parameters:

solutions - all the possible solutions

Returns:

the solution (or solutions) containing those triples that will be removed