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

Class StateSubsumptionStrategy

java.lang.Object

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

public class StateSubsumptionStrategy
extends Object

Constructor Summary

Constructors

Constructor and Description
StateSubsumptionStrategy(CanonicalizationStrategy canonicalizationStrategy)

Method Summary

Modifier and Type	Method and Description
boolean	subsumes(ProgramState subsumed, ProgramState subsuming)

Methods inherited from class java.lang.Object

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

Constructor Detail

StateSubsumptionStrategy

public StateSubsumptionStrategy(CanonicalizationStrategy canonicalizationStrategy)

Method Detail

subsumes

public boolean subsumes(ProgramState subsumed,
                        ProgramState subsuming)