edu.wis.jtlv.lib
Class AlgResultPath

java.lang.Object
  edu.wis.jtlv.lib.AlgResultPath

All Implemented Interfaces:

AlgResultI

public class AlgResultPath
extends java.lang.Object
implements AlgResultI

BDD array results (Path).

Version:

"1.3.2"

Author:

yaniv sa'ar.

Nested Class Summary

Nested classes/interfaces inherited from interface edu.wis.jtlv.lib.AlgResultI

AlgResultI.ResultStatus

Constructor Summary

AlgResultPath(AlgResultI.ResultStatus fin_status, BDD[] res)
A constructor for a path results, with a general flag is was successful.

AlgResultPath(BDD[] res)
A constructor for a path results, without successfulness status.

AlgResultPath(boolean was_successful, BDD[] res)
A constructor for a path results, with a general flag is was successful.

Method Summary

AlgResultI.ResultStatus	getResultStat() Get the result status.
java.lang.Object	resultObject() A BDD[] object representation of the results.
java.lang.String	resultString() A string representation of the results.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AlgResultPath

public AlgResultPath(boolean was_successful,
                     BDD[] res)

A constructor for a path results, with a general flag is was successful.

Parameters:

was_successful - Did the algorithm succeed.

res - The results themselves.

AlgResultPath

public AlgResultPath(AlgResultI.ResultStatus fin_status,
                     BDD[] res)

A constructor for a path results, with a general flag is was successful.

Parameters:

fin_status - The algorithm finishing status.

res - The results themselves.

AlgResultPath

public AlgResultPath(BDD[] res)

A constructor for a path results, without successfulness status.

Parameters:

res - The results themselves.

Method Detail

getResultStat

public AlgResultI.ResultStatus getResultStat()

Description copied from interface: AlgResultI

Get the result status.

Specified by:

getResultStat in interface AlgResultI

Returns:

The results status.

resultObject

public java.lang.Object resultObject()

A BDD[] object representation of the results.

Specified by:

resultObject in interface AlgResultI

Returns:

A BDD[] object representing the results.

resultString

public java.lang.String resultString()

Description copied from interface: AlgResultI

A string representation of the results.

Specified by:

resultString in interface AlgResultI

Returns:

A string representing the results.