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

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

All Implemented Interfaces:

java.lang.Comparable<CanonicalizedImmutable>

public class MinRoleCardinality
extends AbsRoleCardinality

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

isMin, number

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

MinRoleCardinality(CanonicalizedImmutable.Identity id, AbsRoleDescription onRole, int number, boolean isMin)

Method Summary

static MinRoleCardinality

instance(AbsRoleDescription onRole, int number)

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

getAllDeeperDescriptionsRecursive, instance

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

Constructor Detail

MinRoleCardinality

public MinRoleCardinality(CanonicalizedImmutable.Identity id,
                          AbsRoleDescription onRole,
                          int number,
                          boolean isMin)

Method Detail

instance

public static MinRoleCardinality instance(AbsRoleDescription onRole,
                                          int number)