edu.wis.jtlv.lib
Class AlgResultBDD

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

All Implemented Interfaces:

AlgResultI

public class AlgResultBDD
extends java.lang.Object
implements AlgResultI

BDD results.

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

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

AlgResultBDD(BDD res)
A constructor for a BDD results, without successfulness status.

AlgResultBDD(boolean was_successful, BDD res)
A constructor for a BDD 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

AlgResultBDD

public AlgResultBDD(boolean was_successful,
                    BDD res)

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

Parameters:

was_successful - Did the algorithm succeed.

res - The results themselves.

AlgResultBDD

public AlgResultBDD(AlgResultI.ResultStatus fin_status,
                    BDD res)

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

Parameters:

fin_status - The algorithm finishing status.

res - The results themselves.

AlgResultBDD

public AlgResultBDD(BDD res)

A constructor for a BDD 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.