de.fau.cs.www8.jadeowlcodec.tboxnormalisation
Class AbsMultijoinedClassdescription

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.tool.CanonicalizedImmutable
      de.fau.cs.www8.jadeowlcodec.tboxnormalisation.AbsDescription
          de.fau.cs.www8.jadeowlcodec.tboxnormalisation.AbsClassDescription
              de.fau.cs.www8.jadeowlcodec.tboxnormalisation.AbsMultijoined<AbsClassDescription>
                  de.fau.cs.www8.jadeowlcodec.tboxnormalisation.AbsMultijoinedClassdescription

All Implemented Interfaces:

java.lang.Comparable<CanonicalizedImmutable>

Direct Known Subclasses:

Intersection, Union

public abstract class AbsMultijoinedClassdescription
extends AbsMultijoined<AbsClassDescription>

Nested Class Summary

Nested classes/interfaces inherited from class de.fau.cs.www8.jadeowlcodec.tool.CanonicalizedImmutable

CanonicalizedImmutable.Identity

Field Summary

protected static java.lang.String

LATEXNEGATIVE

Fields inherited from class de.fau.cs.www8.jadeowlcodec.tboxnormalisation.AbsClassDescription

BOTTOM, debugflag, TOP

Constructor Summary

protected

AbsMultijoinedClassdescription(CanonicalizedImmutable.Identity id, java.util.Set<AbsClassDescription> joined)

Method Summary

protected static java.util.Set<AbsClassDescription>	createCompleteJoinSet(java.lang.Class<? extends AbsMultijoined> cls, java.util.Set<AbsClassDescription> oldSet)
protected abstract AbsClassDescription	createInstanceWithNewDeepers(java.util.Set<AbsClassDescription> newDeepers)
protected abstract AbsClassDescription	createInversionOfInvertedDeepers(java.util.Set<AbsClassDescription> invertedPuds)
protected abstract AbsClassDescription	createPushedDownDeepers(java.util.Set<AbsClassDescription> pushedDownDeepers, boolean invert)

Methods inherited from class de.fau.cs.www8.jadeowlcodec.tboxnormalisation.AbsMultijoined

getDeeperDescriptions, makeJoin

Methods inherited from class de.fau.cs.www8.jadeowlcodec.tboxnormalisation.AbsClassDescription

countDeeperOccurrences, getAllDeeperDescriptionsRecursive

Methods inherited from class de.fau.cs.www8.jadeowlcodec.tool.CanonicalizedImmutable

compareTo, equals, getCanonicalizedInstance, hashCode

Methods inherited from class java.lang.Object

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

Field Detail

LATEXNEGATIVE

protected static final java.lang.String LATEXNEGATIVE

See Also:

Constant Field Values

Constructor Detail

AbsMultijoinedClassdescription

protected AbsMultijoinedClassdescription(CanonicalizedImmutable.Identity id,
                                         java.util.Set<AbsClassDescription> joined)

Method Detail

createInversionOfInvertedDeepers

protected abstract AbsClassDescription createInversionOfInvertedDeepers(java.util.Set<AbsClassDescription> invertedPuds)

createInstanceWithNewDeepers

protected abstract AbsClassDescription createInstanceWithNewDeepers(java.util.Set<AbsClassDescription> newDeepers)

createPushedDownDeepers

protected abstract AbsClassDescription createPushedDownDeepers(java.util.Set<AbsClassDescription> pushedDownDeepers,
                                                               boolean invert)

createCompleteJoinSet

protected static java.util.Set<AbsClassDescription> createCompleteJoinSet(java.lang.Class<? extends AbsMultijoined> cls,
                                                                          java.util.Set<AbsClassDescription> oldSet)