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

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.InverseConcept

All Implemented Interfaces:

java.lang.Comparable<CanonicalizedImmutable>

public final class InverseConcept
extends AbsClassDescription

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.AbsClassDescription

BOTTOM, debugflag, TOP

Method Summary

static AbsClassDescription

instance(AbsClassDescription negatee)

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

Method Detail

instance

public static AbsClassDescription instance(AbsClassDescription negatee)