Package owl.translations.mastertheorem

Class AsymmetricEvaluatedFixpoints.DeterministicAutomata

java.lang.Object

owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata

Enclosing class:

AsymmetricEvaluatedFixpoints

public static final class AsymmetricEvaluatedFixpoints.DeterministicAutomata
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
List<EquivalenceClass>	coSafety
List<EquivalenceClass>	fCoSafety
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

coSafety

public final List<EquivalenceClass> coSafety

fCoSafety

public final List<EquivalenceClass> fCoSafety