|
jInfer | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcz.cuni.mff.ksi.jinfer.base.automaton.State<T>
public class State<T>
Class representing state in deterministic finite automaton. has fields- finalCount - number the times its final state, how many input strings ended in this state State is just a nearly empty box used as reference for .equals() when traversing automaton and so on. But object with some properties is more useful then representation by numbers for example. name - simple integer to name states correctly in log output and visualization parentAutomaton
| Constructor Summary | |
|---|---|
State(int finalCount,
int name)
Only one constructor, setting all states parameters. |
|
| Method Summary | |
|---|---|
int |
getFinalCount()
|
int |
getName()
|
void |
incFinalCount()
increment finalCount by 1 |
void |
incFinalCount(int i)
increment finalCount |
void |
setFinalCount(int finalCount)
|
void |
setName(int name)
|
String |
toString()
|
String |
toTestString()
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public State(int finalCount,
int name)
finalCount - name - parentAutomaton - | Method Detail |
|---|
public int getFinalCount()
public void setFinalCount(int finalCount)
finalCount - the finalCount to setpublic void incFinalCount()
public void incFinalCount(int i)
i - public int getName()
public void setName(int name)
name - the name to setpublic String toString()
toString in class Objectpublic String toTestString()
|
jInfer | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||