de.rwth.i2.attestor.phases.communication

Class ModelCheckingSettings

java.lang.Object

de.rwth.i2.attestor.phases.communication.ModelCheckingSettings

public class ModelCheckingSettings
extends Object

The collection of the model checking related communication including the formulae.

Author:

christina

Constructor Summary

Constructors

Constructor and Description
ModelCheckingSettings()

Method Summary

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

ModelCheckingSettings

public ModelCheckingSettings()

Method Detail

isModelCheckingEnabled

public boolean isModelCheckingEnabled()

setModelCheckingEnabled

public void setModelCheckingEnabled(boolean enabled)

getFormulae

public Set<de.rwth.i2.attestor.LTLFormula> getFormulae()

addFormula

public void addFormula(de.rwth.i2.attestor.LTLFormula formula)

getRequiredAtomicPropositions

public Set<String> getRequiredAtomicPropositions()