de.rwth.i2.attestor.grammar.admissibility

Class AdmissibilityStrategy

java.lang.Object

de.rwth.i2.attestor.grammar.admissibility.AdmissibilityStrategy

public class AdmissibilityStrategy
extends Object

Constructor Summary

Constructors

Constructor and Description
AdmissibilityStrategy(StateMaterializationStrategy materializationStrategy)

Method Summary

Modifier and Type	Method and Description
Collection<ProgramState>	getAdmissibleStatesOf(ProgramState state)

Methods inherited from class java.lang.Object

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

Constructor Detail

AdmissibilityStrategy

public AdmissibilityStrategy(StateMaterializationStrategy materializationStrategy)

Method Detail

getAdmissibleStatesOf

public Collection<ProgramState> getAdmissibleStatesOf(ProgramState state)