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

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
                      de.fau.cs.www8.jadeowlcodec.tboxnormalisation.Intersection

All Implemented Interfaces:

java.lang.Comparable<CanonicalizedImmutable>

public final class Intersection
extends AbsMultijoinedClassdescription

Nested Class Summary

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

CanonicalizedImmutable.Identity

Field Summary

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

LATEXNEGATIVE

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

BOTTOM, debugflag, TOP

Constructor Summary

Intersection(CanonicalizedImmutable.Identity id, java.util.Set<AbsClassDescription> intersecteds)

Method Summary

protected AbsClassDescription	createInstanceWithNewDeepers(java.util.Set<AbsClassDescription> newDeepers)
protected AbsClassDescription	createInversionOfInvertedDeepers(java.util.Set<AbsClassDescription> invertedPuds)
protected AbsClassDescription	createPushedDownDeepers(java.util.Set<AbsClassDescription> pushedDownDeepers, boolean invert)
java.util.Set<AbsClassDescription>	getDeeperDescriptions()
static AbsClassDescription	instance(java.util.Set<AbsClassDescription> intersecteds)

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

createCompleteJoinSet

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

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

Constructor Detail

Intersection

public Intersection(CanonicalizedImmutable.Identity id,
                    java.util.Set<AbsClassDescription> intersecteds)

Method Detail

instance

public static AbsClassDescription instance(java.util.Set<AbsClassDescription> intersecteds)

getDeeperDescriptions

public java.util.Set<AbsClassDescription> getDeeperDescriptions()

Specified by:

getDeeperDescriptions in class AbsMultijoined<AbsClassDescription>

createInversionOfInvertedDeepers

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

Specified by:

createInversionOfInvertedDeepers in class AbsMultijoinedClassdescription

Parameters:

invertedPuds - a Set < AbsClassDescription >

Returns:

AbsClassDescription

createPushedDownDeepers

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

Specified by:

createPushedDownDeepers in class AbsMultijoinedClassdescription

createInstanceWithNewDeepers

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

Specified by:

createInstanceWithNewDeepers in class AbsMultijoinedClassdescription