Uses of Class
de.rwth.i2.attestor.grammar.AbstractionOptions

Packages that use AbstractionOptions

Package	Description
de.rwth.i2.attestor.grammar	This package containsSubsumingState the classes storing the actual grammar-data.

Uses of AbstractionOptions in de.rwth.i2.attestor.grammar

Methods in de.rwth.i2.attestor.grammar that return AbstractionOptions

Modifier and Type	Method and Description
AbstractionOptions	AbstractionOptions.setAdmissibleAbstraction(boolean admissibleAbstraction)
AbstractionOptions	AbstractionOptions.setAdmissibleConstants(boolean admissibleConstants)
AbstractionOptions	AbstractionOptions.setAdmissibleMarkings(boolean admissibleMarkings)