Package owl.translations.canonical
Class DeterministicConstructions
- java.lang.Object
-
- owl.translations.canonical.DeterministicConstructions
-
public final class DeterministicConstructions extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
DeterministicConstructions.BreakpointStateAccepting
static class
DeterministicConstructions.BreakpointStateAcceptingRoundRobin
static class
DeterministicConstructions.BreakpointStateRejecting
static class
DeterministicConstructions.BreakpointStateRejectingRoundRobin
static class
DeterministicConstructions.CoSafety
static class
DeterministicConstructions.CoSafetySafety
static class
DeterministicConstructions.CoSafetySafetyRoundRobin
static class
DeterministicConstructions.GfCoSafety
static class
DeterministicConstructions.Safety
static class
DeterministicConstructions.SafetyCoSafety
static class
DeterministicConstructions.SafetyCoSafetyRoundRobin
static class
DeterministicConstructions.SuspensionCheck
static class
DeterministicConstructions.Tracking
-