|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AlgResultI.ResultStatus | |
---|---|
edu.wis.jtlv.lib | The main user library, with all published formal algorithm which where implemented through JTLV. |
Uses of AlgResultI.ResultStatus in edu.wis.jtlv.lib |
---|
Methods in edu.wis.jtlv.lib that return AlgResultI.ResultStatus | |
---|---|
AlgResultI.ResultStatus |
AlgResultBoolean.getResultStat()
|
AlgResultI.ResultStatus |
AlgResultString.getResultStat()
|
AlgResultI.ResultStatus |
AlgResultModule.getResultStat()
|
AlgResultI.ResultStatus |
AlgResultBDD.getResultStat()
|
AlgResultI.ResultStatus |
AlgResultPath.getResultStat()
|
AlgResultI.ResultStatus |
AlgResultI.getResultStat()
Get the result status. |
static AlgResultI.ResultStatus |
AlgResultI.ResultStatus.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static AlgResultI.ResultStatus[] |
AlgResultI.ResultStatus.values()
Returns an array containing the constants of this enum type, in the order they are declared. |
Constructors in edu.wis.jtlv.lib with parameters of type AlgResultI.ResultStatus | |
---|---|
AlgResultBDD(AlgResultI.ResultStatus fin_status,
BDD res)
A constructor for a BDD results, with a general flag is was successful. |
|
AlgResultBoolean(AlgResultI.ResultStatus fin_status,
boolean res)
A constructor for a Boolean results, with a general flag is was successful. |
|
AlgResultModule(AlgResultI.ResultStatus fin_status,
Module res)
A constructor for a module results, with a general flag is was successful. |
|
AlgResultPath(AlgResultI.ResultStatus fin_status,
BDD[] res)
A constructor for a path results, with a general flag is was successful. |
|
AlgResultString(AlgResultI.ResultStatus fin_status,
java.lang.String res)
A constructor for a String results, with a general flag is was successful. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |