de.rwth.i2.attestor.refinement

Class HeapAutomatonState

java.lang.Object

de.rwth.i2.attestor.refinement.HeapAutomatonState

public abstract class HeapAutomatonState
extends Object

Constructor Summary

Constructors

Constructor and Description
HeapAutomatonState()

Method Summary

Modifier and Type	Method and Description
abstract boolean	equals(Object otherObject)
abstract int	hashCode()
abstract boolean	isError()
abstract Set<String>	toAtomicPropositions()

Methods inherited from class java.lang.Object

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

Constructor Detail

HeapAutomatonState

public HeapAutomatonState()

Method Detail

toAtomicPropositions

public abstract Set<String> toAtomicPropositions()

isError

public abstract boolean isError()

equals

public abstract boolean equals(Object otherObject)

Overrides:

equals in class Object

hashCode

public abstract int hashCode()

Overrides:

hashCode in class Object