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

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

All Implemented Interfaces:

java.lang.Comparable<CanonicalizedImmutable>

public final class ExistsRoleConcept
extends AbsRoleRestriction

Nested Class Summary

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

CanonicalizedImmutable.Identity

Field Summary

AbsClassDescription

existsClass

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

LATEXSPACEBEFORE, onRole

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

BOTTOM, debugflag, TOP

Constructor Summary

protected

ExistsRoleConcept(CanonicalizedImmutable.Identity id, AbsRoleDescription onRole, AbsClassDescription existsClass)

Method Summary

static ExistsRoleConcept

instance(AbsRoleDescription onRole, AbsClassDescription existsClass)

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

getAllDeeperDescriptionsRecursive

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

countDeeperOccurrences

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

existsClass

public final AbsClassDescription existsClass

Constructor Detail

ExistsRoleConcept

protected ExistsRoleConcept(CanonicalizedImmutable.Identity id,
                            AbsRoleDescription onRole,
                            AbsClassDescription existsClass)

Method Detail

instance

public static ExistsRoleConcept instance(AbsRoleDescription onRole,
                                         AbsClassDescription existsClass)