Uses of Class
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.CounterexampleGenerator.Builder

Packages that use CounterexampleGenerator.Builder

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

Uses of CounterexampleGenerator.Builder in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration that return CounterexampleGenerator.Builder

Modifier and Type	Method and Description
static CounterexampleGenerator.Builder	CounterexampleGenerator.builder()
CounterexampleGenerator.Builder	CounterexampleGenerator.Builder.setAvailableMethods(Collection<Method> availableMethods)
CounterexampleGenerator.Builder	CounterexampleGenerator.Builder.setCanonicalizationStrategy(CanonicalizationStrategy canonicalizationStrategy)
CounterexampleGenerator.Builder	CounterexampleGenerator.Builder.setMaterializationStrategy(MaterializationStrategy materializationStrategy)
CounterexampleGenerator.Builder	CounterexampleGenerator.Builder.setProgram(Program program)
CounterexampleGenerator.Builder	CounterexampleGenerator.Builder.setRectificationStrategy(StateRectificationStrategy rectificationStrategy)
CounterexampleGenerator.Builder	CounterexampleGenerator.Builder.setScopeExtractorFactory(Function<Method,ScopeExtractor> scopeExtractorFactory)
CounterexampleGenerator.Builder	CounterexampleGenerator.Builder.setStateRefinementStrategy(StateRefinementStrategy strategy)
CounterexampleGenerator.Builder	CounterexampleGenerator.Builder.setTrace(CounterexampleTrace trace)