de.rwth.i2.attestor.refinement.balanced

Class BalancednessStateRefinementStrategy

java.lang.Object

de.rwth.i2.attestor.main.scene.SceneObject

de.rwth.i2.attestor.refinement.balanced.BalancednessStateRefinementStrategy

All Implemented Interfaces:

StateRefinementStrategy

public class BalancednessStateRefinementStrategy
extends SceneObject
implements StateRefinementStrategy

Constructor Summary

Constructors

Constructor and Description
BalancednessStateRefinementStrategy(SceneObject sceneObject)

Method Summary

Modifier and Type	Method and Description
ProgramState	refine(SemanticsCommand semanticsCommand, ProgramState state)

Methods inherited from class de.rwth.i2.attestor.main.scene.SceneObject

scene

Methods inherited from class java.lang.Object

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

Constructor Detail

BalancednessStateRefinementStrategy

public BalancednessStateRefinementStrategy(SceneObject sceneObject)

Method Detail

refine

public ProgramState refine(SemanticsCommand semanticsCommand,
                           ProgramState state)

Specified by:

refine in interface StateRefinementStrategy