Package owl.translations.canonical

Class NonDeterministicConstructions

java.lang.Object

owl.translations.canonical.NonDeterministicConstructions

public final class NonDeterministicConstructions
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	NonDeterministicConstructions.CoSafety
static class	NonDeterministicConstructions.FgSafety
static class	NonDeterministicConstructions.GfCoSafety
static class	NonDeterministicConstructions.Safety
static class	NonDeterministicConstructions.Tracking

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait