public interface ModelCheckingResultsTransformer
| Modifier and Type | Method and Description |
|---|---|
Map<de.rwth.i2.attestor.LTLFormula,ModelCheckingResult> |
getLTLResults() |
int |
getNumberSatFormulae() |
ModelCheckingTrace |
getTraceOf(de.rwth.i2.attestor.LTLFormula formula) |
boolean |
hasAllLTLSatisfied() |
Map<de.rwth.i2.attestor.LTLFormula,ModelCheckingResult> getLTLResults()
ModelCheckingTrace getTraceOf(de.rwth.i2.attestor.LTLFormula formula)
boolean hasAllLTLSatisfied()
int getNumberSatFormulae()
Copyright © 2018. All rights reserved.