de.rwth.i2.attestor.phases.transformers

Interface CounterexampleTransformer

All Known Implementing Classes:

CounterexampleGenerationPhase

public interface CounterexampleTransformer

Method Summary

Modifier and Type	Method and Description
Set<de.rwth.i2.attestor.LTLFormula>	getFormulasWithCounterexamples()
ProgramState	getInputOf(de.rwth.i2.attestor.LTLFormula formula)

Method Detail

getFormulasWithCounterexamples

Set<de.rwth.i2.attestor.LTLFormula> getFormulasWithCounterexamples()

getInputOf

ProgramState getInputOf(de.rwth.i2.attestor.LTLFormula formula)