Package jline.solvers.auto
Class AUTO
java.lang.Object
jline.solvers.Solver
jline.solvers.NetworkSolver
jline.solvers.auto.SolverAUTO
jline.solvers.auto.AUTO
AUTO is an alias for SolverAUTO (Automatic solver selection).
-
Nested Class Summary
Nested classes/interfaces inherited from class jline.solvers.auto.SolverAUTO
SolverAUTO.AutoTokenNested classes/interfaces inherited from class jline.solvers.NetworkSolver
NetworkSolver.SolverConfiguratorNested classes/interfaces inherited from class jline.solvers.Solver
Solver.ResolvedVerdict -
Field Summary
Fields inherited from class jline.solvers.auto.SolverAUTO
CANDIDATE_CTMC, CANDIDATE_ENV_FLUID, CANDIDATE_ENV_MVA, CANDIDATE_ENV_NC, CANDIDATE_FLUID, CANDIDATE_LDES, CANDIDATE_LN_FLUID, CANDIDATE_LN_MAM, CANDIDATE_LN_MVA, CANDIDATE_LN_NC, CANDIDATE_LQNS, CANDIDATE_MAM, CANDIDATE_MVA, CANDIDATE_NC, CANDIDATE_SSA, EXACT_POPULATION_MAX, METHOD_ACCURATE, METHOD_BOUND, METHOD_DEFAULT, METHOD_EXACT, METHOD_FAST, METHOD_HEURISTIC, METHOD_SIMFields inherited from class jline.solvers.NetworkSolver
avgHandles, lastPerctMethod, lastPermEngine, model, sn, tranHandles -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class jline.solvers.auto.SolverAUTO
avg, avgArvR, avgArvRChain, avgChain, avgChainTable, avgNode, avgNodeTable, avgQLen, avgQLenChain, avgQLenTable, avgResidT, avgResidTChain, avgRespT, avgRespTChain, avgRespTTable, avgSysRespT, avgSysTable, avgSysTput, avgTable, avgTput, avgTputChain, avgTputTable, avgUtil, avgUtilChain, avgUtilTable, avgWaitT, baSolver, buildFamilySolver, cdfPassT, cdfRespT, computeSojournCdf, ctmcSolver, ensembleAvg, exportODEs, exportODEs, exportODEs, familyAlias, familyDeclaringMethod, familyMetrics, familyNames, familyOfSolver, findSolver, findSolver, findSolverLayered, fldSolver, getAvg, getAvgAoI, getAvgArvR, getAvgArvRChain, getAvgBusyPeriod, getAvgBusyPeriod, getAvgChain, getAvgChainTable, getAvgFJ, getAvgFJTable, getAvgNode, getAvgNodeArvRChain, getAvgNodeQLenChain, getAvgNodeResidTChain, getAvgNodeRespTChain, getAvgNodeTable, getAvgNodeTputChain, getAvgNodeUtilChain, getAvgQLen, getAvgQLenChain, getAvgQLenTable, getAvgQLenTable, getAvgResidT, getAvgResidTChain, getAvgRespT, getAvgRespTChain, getAvgRespTTable, getAvgRespTTable, getAvgReward, getAvgReward, getAvgSys, getAvgSysRespT, getAvgSysTable, getAvgSysTput, getAvgTable, getAvgTableLayered, getAvgTput, getAvgTputChain, getAvgTputTable, getAvgTputTable, getAvgUtil, getAvgUtilChain, getAvgUtilTable, getAvgUtilTable, getAvgWaitT, getBounds, getBoundsTable, getBoundsTable, getCandidateSolverNames, getCdfAoI, getCdfAoI, getCdfFirstPassT, getCdfPassT, getCdfPT, getCdfRespT, getCdfSysRespT, getEnsembleAvg, getFeatureSet, getFirstPassTMoments, getFirstPassTMoments, getGenerator, getGenerator, getInfGen, getInfGen, getIteration, getJacobian, getJacobian, getMarkedCTMC, getMarkedCTMC, getMomentChainTable, getMomentChainTable, getMomentChainTable, getMoments, getMomentStationTable, getMomentStationTable, getMomentStationTable, getMomentTable, getMomentTable, getMomentTable, getMomentTable, getNormalizingConstant, getNumberOfModels, getPerctRespT, getPosteriorDist, getPosteriorTable, getProb, getProb, getProb, getProbAggr, getProbAggr, getProbAggr, getProbMarg, getProbMarg, getProbMarg, getProbNormConstAggr, getProbSys, getProbSysAggr, getSamplePathTable, getSelectedMethod, getSelectedSolver, getSelectedSolverName, getSensitivity, getSensitivity, getSensitivityRanking, getSensitivityRanking, getSensitivityTable, getSensitivityTable, getSjrnT, getSolver, getStageAvg, getStateSpace, getStateSpace, getStateSpaceAggr, getStruct, getSymbolicDrift, getSymbolicGenerator, getSymbolicGenerator, getSymbolicSolution, getSymbolicSolution, getTranAvg, getTranAvgCoupled, getTranAvgDecoupled, getTranAvgVar, getTranCdfPassT, getTranCdfRespT, getTranProb, getTranProbAggr, getTranProbSys, getTranProbSysAggr, getTranReward, getTranReward, getTransMat, hasPriorParameters, isComposite, isMethodAlias, isStochastic, iteration, listAllMethods, listValidMethods, methodAliasPrefixes, methodClass, metricGroupOf, metricGroups, ncSolver, numberOfModels, perctRespT, prob, probAggr, probMarg, probNormConstAggr, probSys, probSysAggr, resolveMethodToken, runAnalyzer, sample, sample, sampleAggr, sampleSys, sampleSys, sampleSysAggr, selectionIntents, sjrnT, solver, supports, supportsTransientAnalysis, tranProb, tranProbAggr, tranProbSys, tranProbSysAggr, uqSolverMethods inherited from class jline.solvers.NetworkSolver
aCaT, aCT, aCT, aCT, aCT, aCT, aCT, aFJT, aIT, aLT, aNCT, aNCT, aNCT, aNCT, aNCT, aNCT, aNT, aNT, aNT, aNT, aNT, aNT, aOT, applyCacheResults, aRLT, aST, aST, aST, aT, aT, aT, aT, aT, aT, avg, avg, avgArvRHandles, avgChainT, avgChainT, avgChainT, avgChainT, avgChainT, avgChainT, avgChainTable, avgChainTable, avgChainTable, avgChainTable, avgChainTable, avgHandles, avgNodeArvRChain, avgNodeChain, avgNodeChainT, avgNodeChainT, avgNodeChainT, avgNodeChainT, avgNodeChainT, avgNodeChainT, avgNodeChainTable, avgNodeChainTable, avgNodeChainTable, avgNodeChainTable, avgNodeChainTable, avgNodeChainTable, avgNodeQLenChain, avgNodeResidTChain, avgNodeRespTChain, avgNodeT, avgNodeT, avgNodeT, avgNodeT, avgNodeT, avgNodeT, avgNodeTable, avgNodeTable, avgNodeTable, avgNodeTable, avgNodeTable, avgNodeTputChain, avgNodeUtilChain, avgQLenHandles, avgResidTHandles, avgRespTHandles, avgSys, avgSysT, avgSysT, avgSysT, avgSysTable, avgSysTable, avgT, avgT, avgT, avgT, avgT, avgT, avgTable, avgTable, avgTable, avgTable, avgTable, avgTputHandles, avgUtilHandles, bindingCapacityReason, cacheAvgT, cdfPassT, cdfRespT, chainAvgT, chainAvgT, chainAvgT, chainAvgT, chainAvgT, chainAvgT, checkDeclaredMethod, citations, declaredAllMethods, declaredAllMethods, declaredValidMethods, declaredValidMethods, fjAvgT, getAllSolvers, getAvg, getAvg, getAvgArvRHandles, getAvgCacheT, getAvgCacheTable, getAvgCacheTableImpl, getAvgChainTable, getAvgChainTable, getAvgChainTable, getAvgChainTable, getAvgChainTable, getAvgChainTableImpl, getAvgChainTableImpl, getAvgFJT, getAvgFJTableImpl, getAvgHandles, getAvgItemT, getAvgItemTable, getAvgItemTableImpl, getAvgLossT, getAvgLossTable, getAvgNodeChain, getAvgNodeChainTable, getAvgNodeChainTable, getAvgNodeChainTable, getAvgNodeChainTable, getAvgNodeChainTable, getAvgNodeChainTable, getAvgNodeChainTableImpl, getAvgNodeChainTableImpl, getAvgNodeTable, getAvgNodeTable, getAvgNodeTable, getAvgNodeTable, getAvgNodeTable, getAvgNodeTableImpl, getAvgNodeTableImpl, getAvgOrbit, getAvgOrbitT, getAvgOrbitTable, getAvgOrbitTableImpl, getAvgQLenHandles, getAvgRegionLossT, getAvgRegionLossTable, getAvgResidTHandles, getAvgRespTHandles, getAvgSys, getAvgSys, getAvgSysTable, getAvgSysTable, getAvgSysTableImpl, getAvgT, getAvgT, getAvgT, getAvgT, getAvgT, getAvgT, getAvgTable, getAvgTable, getAvgTable, getAvgTable, getAvgTable, getAvgTableImpl, getAvgTableImpl, getAvgTard, getAvgTputHandles, getAvgUtilHandles, getCdfPassT, getCdfRespT, getChainAvgT, getChainAvgT, getChainAvgT, getChainAvgT, getChainAvgT, getChainAvgT, getDeadlineTable, getLibrariesUsed, getModel, getMomentChainT, getMomentChainT, getMomentChainT, getMomentStationT, getMomentStationT, getMomentStationT, getMomentT, getMomentT, getMomentT, getNodeAvgT, getNodeAvgT, getNodeAvgT, getNodeAvgT, getNodeAvgT, getNodeAvgT, getNodeChainAvgT, getNodeChainAvgT, getNodeChainAvgT, getNodeChainAvgT, getNodeChainAvgT, getNodeChainAvgT, getPerctRespT, getProbSysMarg, getProbSysMarg, getSensitivityT, getSensitivityT, getStageT, getStageT, getStageTable, getStageTable, getSysAvgT, getSysAvgT, getSysAvgT, getTranCdfPassT, getTranCdfRespT, getTranHandles, hasAvgResults, hasBoundedBuffer, hasDistribResults, hasReneging, hasTranResults, initFromSolver, initHandles, itemAvgT, libraries, lossAvgT, mapEnvApprox, mCT, mCT, mCT, model, momentChainT, momentChainT, momentChainT, momentStationT, momentStationT, momentStationT, momentT, momentT, momentT, mST, mST, mST, mT, mT, mT, needsMapEnv, nodeAvgT, nodeAvgT, nodeAvgT, nodeAvgT, nodeAvgT, nodeAvgT, nodeChainAvgT, nodeChainAvgT, nodeChainAvgT, nodeChainAvgT, nodeChainAvgT, nodeChainAvgT, options, orbitAvgT, print, prob, prob, probAggr, probAggr, probMarg, probMarg, regionLossAvgT, runAnalyzerChecks, sample, sampleAggr, sensitivityT, sensitivityT, setAvgHandles, setAvgResults, setDistribResults, setLang, setModel, setTranAvgResults, setTranHandles, setTranProb, showLibraryAttribution, sT, sT, stageT, stageTable, storeAvgResults, supportsExactSensitivity, sysAvgT, sysAvgT, sysAvgT, tranAvg, tranCdfPassT, tranCdfPassT, tranCdfRespT, tranCdfRespT, tranHandles, unsupportedMethodReasonMethods inherited from class jline.solvers.Solver
armTimeout, defaultOptions, flagTimeout, getMethodFeatureSet, getName, getOptions, getResults, hasResults, isJavaAvailable, isStochasticMethod, isValidOption, listValidOptions, parseOptions, parseOptions, reset, resetRandomGeneratorSeed, resolveMethod, selectMethod, setChecks, setOptions, supportsModelMethod, supportsResolvedMethod, supportsTransientVariance, timeExceeded, unsupportedRefusalId
-
Constructor Details
-
AUTO
-
AUTO
-
AUTO
-