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

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

All Implemented Interfaces:

java.lang.Comparable<CanonicalizedImmutable>

public final class ConcreteValue
extends AbsClassDescription

quick and dirty: handle concrete values like nominals, to unify hasValue restrictions

Author:

Ulf Schreiber

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

Constructor Summary

protected

ConcreteValue(CanonicalizedImmutable.Identity id, Value val)

Method Summary

static AbsClassDescription

instance(Value val)

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

ConcreteValue

protected ConcreteValue(CanonicalizedImmutable.Identity id,
                        Value val)

Method Detail

instance

public static AbsClassDescription instance(Value val)