Uses of Class
edu.wis.jtlv.lib.AlgResultI.ResultStatus

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.