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

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

All Implemented Interfaces:

ASetUpdater

public class SafeContractAllUpdater
extends AbsUpdater

Field Summary

static SafeContractAllUpdater

INSTANCE

Constructor Summary

SafeContractAllUpdater()

Method Summary

protected java.util.Set<Solution>

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

Methods inherited from class de.fau.cs.www8.jadeowlcodec.aboxupdater.AbsUpdater

copyIndividuals

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

Field Detail

INSTANCE

public static final SafeContractAllUpdater INSTANCE

Constructor Detail

SafeContractAllUpdater

public SafeContractAllUpdater()

Method Detail

selectSolution

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

Specified by:

selectSolution in class AbsUpdater

Parameters:

solutions - all the possible solutions

Returns:

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