Package owl.translations.delag

Class ProductState<T>

java.lang.Object

owl.translations.delag.ProductState<T>

public abstract class ProductState<T>
extends Object

Constructor Summary

Constructors

Constructor	Description
ProductState()

Method Summary

Modifier and Type	Method	Description
abstract boolean	equals(Object object)
abstract Map<Formula,T>	fallback()
abstract Map<owl.translations.delag.DependencyTree<T>,Boolean>	finished()
abstract int	hashCode()
abstract Map<Formula,EquivalenceClass>	safety()

Methods inherited from class java.lang.Object

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

Constructor Detail

ProductState

public ProductState()

Method Detail

fallback

public abstract Map<Formula,T> fallback()

finished

public abstract Map<owl.translations.delag.DependencyTree<T>,Boolean> finished()

safety

public abstract Map<Formula,EquivalenceClass> safety()

equals

public abstract boolean equals(Object object)

Overrides:

equals in class Object

hashCode

@Memoized
public abstract int hashCode()

Overrides:

hashCode in class Object