Package org.apache.iotdb.commons.path.fa.dfa.graph

Class Closure

java.lang.Object

org.apache.iotdb.commons.path.fa.dfa.graph.Closure

public class Closure
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
Closure(int capacity)

Method Summary

Modifier and Type	Method	Description
void	addState(IFAState state)
boolean	equals(java.lang.Object o)
java.util.List<IFAState>	getStates()
int	hashCode()
boolean	isFinal()

Methods inherited from class java.lang.Object

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

Constructor Detail

Closure

public Closure(int capacity)

Method Detail

addState

public void addState(IFAState state)

getStates

public java.util.List<IFAState> getStates()

isFinal

public boolean isFinal()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object