Package owl.translations.mastertheorem

Class SymmetricEvaluatedFixpoints.NonDeterministicAutomata

java.lang.Object

owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.NonDeterministicAutomata

Enclosing class:

SymmetricEvaluatedFixpoints

public static final class SymmetricEvaluatedFixpoints.NonDeterministicAutomata
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
NonDeterministicConstructions.GfCoSafety	gfCoSafetyAutomaton
NonDeterministicConstructions.Safety	safetyAutomaton

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

gfCoSafetyAutomaton

@Nullable
public final NonDeterministicConstructions.GfCoSafety gfCoSafetyAutomaton

safetyAutomaton

public final NonDeterministicConstructions.Safety safetyAutomaton