Package owl.translations.ltl2ldba

Class AsymmetricProductState

java.lang.Object

owl.translations.ltl2ldba.AsymmetricProductState

All Implemented Interfaces:

LtlLanguageExpressible

public final class AsymmetricProductState
extends Object
implements LtlLanguageExpressible

Field Summary

Fields

Modifier and Type	Field	Description
AsymmetricEvaluatedFixpoints.DeterministicAutomata	automata
EquivalenceClass	currentCoSafety
AsymmetricEvaluatedFixpoints	evaluatedFixpoints
int	index
List<EquivalenceClass>	nextCoSafety
EquivalenceClass	safety

Constructor Summary

Constructors

Constructor	Description
AsymmetricProductState(int index, EquivalenceClass safety, EquivalenceClass currentCoSafety, List<EquivalenceClass> nextCoSafety, AsymmetricEvaluatedFixpoints evaluatedFixpoints, AsymmetricEvaluatedFixpoints.DeterministicAutomata automata)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
int	hashCode()
EquivalenceClass	language()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

evaluatedFixpoints

public final AsymmetricEvaluatedFixpoints evaluatedFixpoints

index

public final int index

currentCoSafety

public final EquivalenceClass currentCoSafety

nextCoSafety

public final List<EquivalenceClass> nextCoSafety

safety

public final EquivalenceClass safety

automata

@Nullable
public final AsymmetricEvaluatedFixpoints.DeterministicAutomata automata

Constructor Detail

AsymmetricProductState

public AsymmetricProductState(int index,
                              EquivalenceClass safety,
                              EquivalenceClass currentCoSafety,
                              List<EquivalenceClass> nextCoSafety,
                              AsymmetricEvaluatedFixpoints evaluatedFixpoints,
                              @Nullable
                              AsymmetricEvaluatedFixpoints.DeterministicAutomata automata)

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

language

public EquivalenceClass language()

Specified by:

language in interface LtlLanguageExpressible

toString

public String toString()

Overrides:

toString in class Object