Uses of Package
de.rwth.i2.attestor.grammar.canonicalization

Packages that use de.rwth.i2.attestor.grammar.canonicalization

Package	Description
de.rwth.i2.attestor.grammar.canonicalization	This package containsSubsumingState all necessary classes to perform canonicalization.
de.rwth.i2.attestor.grammar.canonicalization.defaultGrammar
de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar
de.rwth.i2.attestor.main.scene
de.rwth.i2.attestor.markingGeneration
de.rwth.i2.attestor.markingGeneration.neighbourhood
de.rwth.i2.attestor.markingGeneration.visited
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration
de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies
de.rwth.i2.attestor.stateSpaceGeneration	A generic model of a state space and state space generation.

Classes in de.rwth.i2.attestor.grammar.canonicalization used by de.rwth.i2.attestor.grammar.canonicalization

Class and Description
CanonicalizationHelper
CanonicalizationStrategy The strategy performed to canonicalize (abstract) heap configurations which results in one or more abstract heap configurations.
CanonicalizationStrategyBuilder

Classes in de.rwth.i2.attestor.grammar.canonicalization used by de.rwth.i2.attestor.grammar.canonicalization.defaultGrammar

Class and Description
CanonicalizationHelper
EmbeddingCheckerProvider This class is responsible to select the correct embeddingChecker for given communication and semantics

Classes in de.rwth.i2.attestor.grammar.canonicalization used by de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar

Class and Description
CanonicalizationHelper
EmbeddingCheckerProvider This class is responsible to select the correct embeddingChecker for given communication and semantics

Classes in de.rwth.i2.attestor.grammar.canonicalization used by de.rwth.i2.attestor.main.scene

Class and Description
CanonicalizationStrategy The strategy performed to canonicalize (abstract) heap configurations which results in one or more abstract heap configurations.

Classes in de.rwth.i2.attestor.grammar.canonicalization used by de.rwth.i2.attestor.markingGeneration

Class and Description
CanonicalizationStrategy The strategy performed to canonicalize (abstract) heap configurations which results in one or more abstract heap configurations.

Classes in de.rwth.i2.attestor.grammar.canonicalization used by de.rwth.i2.attestor.markingGeneration.neighbourhood

Class and Description
CanonicalizationStrategy The strategy performed to canonicalize (abstract) heap configurations which results in one or more abstract heap configurations.

Classes in de.rwth.i2.attestor.grammar.canonicalization used by de.rwth.i2.attestor.markingGeneration.visited

Class and Description
CanonicalizationStrategy The strategy performed to canonicalize (abstract) heap configurations which results in one or more abstract heap configurations.

Classes in de.rwth.i2.attestor.grammar.canonicalization used by de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Class and Description
CanonicalizationStrategy The strategy performed to canonicalize (abstract) heap configurations which results in one or more abstract heap configurations.

Classes in de.rwth.i2.attestor.grammar.canonicalization used by de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Class and Description
CanonicalizationStrategy The strategy performed to canonicalize (abstract) heap configurations which results in one or more abstract heap configurations.

Classes in de.rwth.i2.attestor.grammar.canonicalization used by de.rwth.i2.attestor.stateSpaceGeneration

Class and Description
CanonicalizationStrategy The strategy performed to canonicalize (abstract) heap configurations which results in one or more abstract heap configurations.