ProductState (owl 21.0 API)

java.lang.Object
- owl.translations.ltl2nba.ProductState

public final class ProductState
extends Object

Field Summary

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

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type Method Description

boolean equals(Object o)

int hashCode()

String toString()
- Methods inherited from class java.lang.Object
  clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

safety
```
public final Formula safety
```

liveness

@Nullable
public final RoundRobinState<Formula> liveness

evaluatedFixpoints

public final SymmetricEvaluatedFixpoints evaluatedFixpoints

automata

public final SymmetricEvaluatedFixpoints.NonDeterministicAutomata automata

Method Detail
- equals
```
public boolean equals(Object o)
```
  Overrides:
  
  equals in class Object
- hashCode
```
public int hashCode()
```
  Overrides:
  
  hashCode in class Object
- toString
```
public String toString()
```
  Overrides:
  
  toString in class Object