byucc.jhdl.Fsm
Class FsmData

java.lang.Object
  byucc.jhdl.Fsm.FsmData

All Implemented Interfaces:

java.io.Serializable

public class FsmData

extends java.lang.Object

implements java.io.Serializable

See Also:

Serialized Form

Constructor Summary

FsmData()

FsmData(java.util.Hashtable states, int stWidth, boolean oneHot, StringList inputNames, StringList outputNames, StringList stateNames, StringList stateEncodings, TruthTable truthTable)

Method Summary

void	doEncodings()
StringList	getInputNames()
boolean	getOneHot()
StringList	getOutputNames()
StringList	getStateEncodings()
StringList	getStateNames()
java.util.Hashtable	getStates()
int	getStWidth()
TruthTable	getTruthTable()
void	replaceLastStateEncodings() Replace last row in truth with encodings
void	serializeFsmData(java.lang.String fname)
void	setInputNames(StringList sl)
void	setOneHot(boolean b)
void	setOutputNames(StringList sl)
void	setStateEncodings(StringList sl)
void	setStateNames(StringList sl)
void	setStates(java.util.Hashtable h)
void	setStWidth(int n)
void	setTruthTable(TruthTable t)
static boolean	setVerbose(boolean flag) Sets the verbosity, and returns the prior value of the verbose flag
java.lang.String	toString()
static FsmData	unserializeFsmData(java.lang.String fname)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

FsmData

public FsmData()

FsmData

public FsmData(java.util.Hashtable states,
               int stWidth,
               boolean oneHot,
               StringList inputNames,
               StringList outputNames,
               StringList stateNames,
               StringList stateEncodings,
               TruthTable truthTable)

Method Detail

setVerbose

public static boolean setVerbose(boolean flag)

Sets the verbosity, and returns the prior value of the verbose flag

Parameters:

flag - The new state of the verbose flag

Returns:

The prior state of the verbose flag

toString

public java.lang.String toString()

unserializeFsmData

public static FsmData unserializeFsmData(java.lang.String fname)

serializeFsmData

public void serializeFsmData(java.lang.String fname)

getStates

public java.util.Hashtable getStates()

setStates

public void setStates(java.util.Hashtable h)

getOneHot

public boolean getOneHot()

setOneHot

public void setOneHot(boolean b)

getStWidth

public int getStWidth()

setStWidth

public void setStWidth(int n)

getInputNames

public StringList getInputNames()

setInputNames

public void setInputNames(StringList sl)

getOutputNames

public StringList getOutputNames()

setOutputNames

public void setOutputNames(StringList sl)

getStateNames

public StringList getStateNames()

setStateNames

public void setStateNames(StringList sl)

getStateEncodings

public StringList getStateEncodings()

setStateEncodings

public void setStateEncodings(StringList sl)

getTruthTable

public TruthTable getTruthTable()

setTruthTable

public void setTruthTable(TruthTable t)

doEncodings

public void doEncodings()

replaceLastStateEncodings

public void replaceLastStateEncodings()

Replace last row in truth with encodings