de.uka.ilkd.key.symbolic_execution.strategy

Class SimplifyTermStrategy.Factory

java.lang.Object

de.uka.ilkd.key.symbolic_execution.strategy.SimplifyTermStrategy.Factory

All Implemented Interfaces:

Named, StrategyFactory

Enclosing class:

SimplifyTermStrategy

public static class SimplifyTermStrategy.Factory
extends java.lang.Object
implements StrategyFactory

The StrategyFactory to create instances of SimplifyTermStrategy.

Author:

Martin Hentschel

Constructor Summary

Constructors

Constructor and Description
Factory()

Method Summary

Modifier and Type	Method and Description
Strategy	create(Proof proof, StrategyProperties sp) Create strategy for a proof.
StrategySettingsDefinition	getSettingsDefinition() Returns the StrategySettingsDefinition which describes how an user interface has to look like to edit StrategySettings supported by created Strategy instances.
Name	name() returns the name of this element

Methods inherited from class java.lang.Object

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

Constructor Detail

Factory

public Factory()

Method Detail

create

public Strategy create(Proof proof,
                       StrategyProperties sp)

Create strategy for a proof.

Specified by:

create in interface StrategyFactory

Parameters:

proof - the Proof a strategy is created for

sp - the StrategyProperties to customize the strategy

Returns:

the newly created strategy

name

public Name name()

returns the name of this element

Specified by:

name in interface Named

Returns:

the name of the element

getSettingsDefinition

public StrategySettingsDefinition getSettingsDefinition()

Returns the StrategySettingsDefinition which describes how an user interface has to look like to edit StrategySettings supported by created Strategy instances.

Specified by:

getSettingsDefinition in interface StrategyFactory

Returns:

The StrategySettingsDefinition which describes the user interface.