Uses of Class
de.rwth.i2.attestor.grammar.canonicalization.CanonicalizationStrategyBuilder

Packages that use CanonicalizationStrategyBuilder

Package	Description
de.rwth.i2.attestor.grammar.canonicalization	This package containsSubsumingState all necessary classes to perform canonicalization.

Uses of CanonicalizationStrategyBuilder in de.rwth.i2.attestor.grammar.canonicalization

Methods in de.rwth.i2.attestor.grammar.canonicalization that return CanonicalizationStrategyBuilder

Modifier and Type	Method and Description
CanonicalizationStrategyBuilder	CanonicalizationStrategyBuilder.setAggressiveCompositeMarkingAbstraction(boolean aggressiveCompositeMarkingAbstraction)
CanonicalizationStrategyBuilder	CanonicalizationStrategyBuilder.setAggressiveNullAbstraction(boolean enabled)
CanonicalizationStrategyBuilder	CanonicalizationStrategyBuilder.setGrammar(Grammar grammar)
CanonicalizationStrategyBuilder	CanonicalizationStrategyBuilder.setIndexedMode(boolean enabled)
CanonicalizationStrategyBuilder	CanonicalizationStrategyBuilder.setMinAbstractionDistance(int minAbstractionDistance)