I
- the input type.A
- the automaton type.P
- the property type.R
- the type of a counterexample@ParametersAreNonnullByDefault public interface ModelCheckerLasso<I,A,P,R extends Lasso<I,?>> extends ModelChecker<I,A,P,R>
Modifier and Type | Interface and Description |
---|---|
static interface |
ModelCheckerLasso.DFAModelCheckerLasso<I,P> |
static interface |
ModelCheckerLasso.MealyModelCheckerLasso<I,O,P> |
ModelChecker.DFAModelChecker<I,P,R>, ModelChecker.MealyModelChecker<I,O,P,R>
Modifier and Type | Method and Description |
---|---|
default int |
computeUnfolds(int size)
Compute the number of unfolds according to
size . |
int |
getMinimumUnfolds()
Returns the minimum number of times a loop must be unrolled.
|
double |
getMultiplier()
Return the multiplier for the number of times a loop of the lasso must be unrolled, relative to the size of the
hypothesis.
|
void |
setMinimumUnfolds(int minimumUnfolds)
Set the minimum number of times a loop must be unrolled.
|
void |
setMultiplier(double multiplier)
Set the multiplier for the number of times a loop of the lasso must be unrolled, relative to the size of the
hypothesis.
|
findCounterExample
double getMultiplier()
void setMultiplier(double multiplier) throws IllegalArgumentException
multiplier
- the multiplierIllegalArgumentException
- when multiplier < 0.0
.int getMinimumUnfolds()
void setMinimumUnfolds(int minimumUnfolds) throws IllegalArgumentException
minimumUnfolds
- the minimumIllegalArgumentException
- when minimumUnfolds < 1
.default int computeUnfolds(int size)
size
.size
- the number of states in the hypothesis.Copyright © 2019. All rights reserved.