de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Class CounterexampleGenerator

java.lang.Object

de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.CounterexampleGenerator

public class CounterexampleGenerator
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	CounterexampleGenerator.Builder

Constructor Summary

Constructors

Constructor and Description
CounterexampleGenerator()

Method Summary

Modifier and Type	Method and Description
static CounterexampleGenerator.Builder	builder()
ProgramState	generate()

Methods inherited from class java.lang.Object

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

Constructor Detail

CounterexampleGenerator

public CounterexampleGenerator()

Method Detail

builder

public static CounterexampleGenerator.Builder builder()

generate

public ProgramState generate()