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

This package containsSubsumingState all necessary classes to perform canonicalization.

See: Description

Interface Summary

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

Class Summary

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

Package de.rwth.i2.attestor.grammar.canonicalization Description

This package containsSubsumingState all necessary classes to perform canonicalization. It is guided by the class GeneralCanonicalizationStrategy which takes a grammar (can be found in package de.rwth.i2.attestor.grammar) to get the rules for abstraction and a canonicalizationHelper which is responsible for all methodExecution which are different for different modi (such as indexed)

Author:

Hannah