de.rwth.i2.attestor.grammar

Class AbstractionOptions

java.lang.Object

de.rwth.i2.attestor.grammar.AbstractionOptions

All Implemented Interfaces:

MorphismOptions

public class AbstractionOptions
extends Object
implements MorphismOptions

Constructor Summary

Constructors

Constructor and Description
AbstractionOptions()

Method Summary

Modifier and Type	Method and Description
boolean	isAdmissibleAbstraction()
boolean	isAdmissibleConstants()
boolean	isAdmissibleMarkings()
AbstractionOptions	setAdmissibleAbstraction(boolean admissibleAbstraction)
AbstractionOptions	setAdmissibleConstants(boolean admissibleConstants)
AbstractionOptions	setAdmissibleMarkings(boolean admissibleMarkings)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractionOptions

public AbstractionOptions()

Method Detail

isAdmissibleAbstraction

public boolean isAdmissibleAbstraction()

Specified by:

isAdmissibleAbstraction in interface MorphismOptions

isAdmissibleConstants

public boolean isAdmissibleConstants()

Specified by:

isAdmissibleConstants in interface MorphismOptions

isAdmissibleMarkings

public boolean isAdmissibleMarkings()

Specified by:

isAdmissibleMarkings in interface MorphismOptions

setAdmissibleAbstraction

public AbstractionOptions setAdmissibleAbstraction(boolean admissibleAbstraction)

setAdmissibleConstants

public AbstractionOptions setAdmissibleConstants(boolean admissibleConstants)

setAdmissibleMarkings

public AbstractionOptions setAdmissibleMarkings(boolean admissibleMarkings)