public final class SymmetricProductState
extends Object
implements LtlLanguageExpressible

Fields
Modifier and Type	Field	Description
`SymmetricEvaluatedFixpoints.DeterministicAutomata`	`automata`
`SymmetricEvaluatedFixpoints`	`evaluatedFixpoints`
`RoundRobinState<EquivalenceClass>`	`liveness`
`EquivalenceClass`	`safety`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object o)`
`int`	`hashCode()`
`boolean`	`isCoveredBy(SymmetricProductState that)`
`EquivalenceClass`	`language()`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

@Nullable
public final RoundRobinState<EquivalenceClass> liveness

public final SymmetricEvaluatedFixpoints evaluatedFixpoints

public final SymmetricEvaluatedFixpoints.DeterministicAutomata automata

Class SymmetricProductState