de.rwth.i2.attestor.graph.morphism

Interface MorphismOptions

All Known Implementing Classes:

AbstractionOptions

public interface MorphismOptions

Author:

Christoph

Method Summary

Modifier and Type	Method and Description
boolean	isAdmissibleAbstraction()
boolean	isAdmissibleConstants()
boolean	isAdmissibleMarkings()

Method Detail

isAdmissibleAbstraction

boolean isAdmissibleAbstraction()

isAdmissibleConstants

boolean isAdmissibleConstants()

isAdmissibleMarkings

boolean isAdmissibleMarkings()