frodo2.algorithms.varOrdering.dfs.ReleaseDFSmsg Class Reference

A message telling a variable to release its DFS output message, use DFSgenerationParallel. More...

Inheritance diagram for frodo2.algorithms.varOrdering.dfs.ReleaseDFSmsg:

Public Member Functions
	ReleaseDFSmsg ()
	Empty constructor used for externalization.
	ReleaseDFSmsg (String dest)
	Constructor.
void	writeExternal (ObjectOutput out) throws IOException
void	readExternal (ObjectInput in) throws IOException, ClassNotFoundException
Public Member Functions inherited from frodo2.communication.Message
	Message (MessageType type)
	Constructor.
	Message ()
	Empty constructor.
MessageType	getType ()
String	toString ()
void	fakeSerialize ()
	Pretends to serialize the message.

Package Attributes
String	dest
	The destination variable.

Additional Inherited Members
Protected Attributes inherited from frodo2.communication.Message
MessageType	type
	The type of this message.

Detailed Description

A message telling a variable to release its DFS output message, use DFSgenerationParallel.

Constructor & Destructor Documentation

ReleaseDFSmsg() [1/2]

frodo2.algorithms.varOrdering.dfs.ReleaseDFSmsg.ReleaseDFSmsg

(

)

Empty constructor used for externalization.

References frodo2.algorithms.varOrdering.dfs.DFSgenerationParallel< S extends Comparable< S > &Serializable >.RELEASE_OUTPUT_MSG_TYPE.

ReleaseDFSmsg() [2/2]

frodo2.algorithms.varOrdering.dfs.ReleaseDFSmsg.ReleaseDFSmsg

(

String

dest

)

Constructor.

Parameters

dest	The destination variable

References dest, and frodo2.algorithms.varOrdering.dfs.DFSgenerationParallel< S extends Comparable< S > &Serializable >.RELEASE_OUTPUT_MSG_TYPE.

Member Function Documentation

readExternal()

void frodo2.algorithms.varOrdering.dfs.ReleaseDFSmsg.readExternal

(

ObjectInput

in

)

throws IOException, ClassNotFoundException

See also

java.io.Externalizable#readExternal(java.io.ObjectInput)

Reimplemented from frodo2.communication.Message.

writeExternal()

void frodo2.algorithms.varOrdering.dfs.ReleaseDFSmsg.writeExternal

(

ObjectOutput

out

)

throws IOException

See also

java.io.Externalizable#writeExternal(java.io.ObjectOutput)

Reimplemented from frodo2.communication.Message.

References dest.

Member Data Documentation

dest

String frodo2.algorithms.varOrdering.dfs.ReleaseDFSmsg.dest

package

The destination variable.

Referenced by ReleaseDFSmsg(), and writeExternal().

---

The documentation for this class was generated from the following file:

• src/frodo2/algorithms/varOrdering/dfs/ReleaseDFSmsg.java