public class ModelCheckingSettings extends Object
| Constructor and Description |
|---|
ModelCheckingSettings() |
| Modifier and Type | Method and Description |
|---|---|
void |
addFormula(de.rwth.i2.attestor.LTLFormula formula) |
Set<de.rwth.i2.attestor.LTLFormula> |
getFormulae() |
Set<String> |
getRequiredAtomicPropositions() |
boolean |
isModelCheckingEnabled() |
void |
setModelCheckingEnabled(boolean enabled) |
public boolean isModelCheckingEnabled()
public void setModelCheckingEnabled(boolean enabled)
public Set<de.rwth.i2.attestor.LTLFormula> getFormulae()
public void addFormula(de.rwth.i2.attestor.LTLFormula formula)
Copyright © 2019. All rights reserved.