Package jline.solvers.ctmc

Class SolverCTMC.SupportResult

java.lang.Object

jline.solvers.ctmc.SolverCTMC.SupportResult

Enclosing class:

SolverCTMC

public static class SolverCTMC.SupportResult
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
boolean	bool
FeatureSet	featSupported
FeatureSet	featUsed

Constructor Summary

Constructors

Constructor	Description
SupportResult(boolean bool, FeatureSet featSupported, FeatureSet featUsed)

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

bool

public boolean bool

featSupported

public FeatureSet featSupported

featUsed

public FeatureSet featUsed

Constructor Details

SupportResult

public SupportResult(boolean bool,
 FeatureSet featSupported,
 FeatureSet featUsed)