Package owl.translations.mastertheorem

Class SymmetricEvaluatedFixpoints.DeterministicAutomata

java.lang.Object

owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.DeterministicAutomata

Enclosing class:

SymmetricEvaluatedFixpoints

public static final class SymmetricEvaluatedFixpoints.DeterministicAutomata
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
DeterministicConstructions.GfCoSafety	gfCoSafetyAutomaton
DeterministicConstructions.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 DeterministicConstructions.GfCoSafety gfCoSafetyAutomaton

safetyAutomaton

public final DeterministicConstructions.Safety safetyAutomaton