Package | Description |
---|---|
net.automatalib.modelcheckers.ltsmin.ltl |
Modifier and Type | Method and Description |
---|---|
LTSminLTLDFABuilder<I> |
LTSminLTLDFABuilder.withKeepFiles(boolean keepFiles) |
LTSminLTLDFABuilder<I> |
LTSminLTLDFABuilder.withMinimumUnfolds(int minimumUnfolds) |
LTSminLTLDFABuilder<I> |
LTSminLTLDFABuilder.withMultiplier(double multiplier) |
LTSminLTLDFABuilder<I> |
LTSminLTLDFABuilder.withString2Input(Function<String,I> string2Input) |
Copyright © 2020. All rights reserved.