Uses of Class
de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar.CannotMatchException

Packages that use CannotMatchException

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

Uses of CannotMatchException in de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar

Methods in de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar that throw CannotMatchException

Modifier and Type	Method and Description
IndexEmbeddingResult	EmbeddingIndexChecker.getIndexEmbeddingResult(HeapConfiguration toAbstract, Matching embedding, Nonterminal lhs) Computes the necessary materialization and instantiation to match the nonterminals of the embedding in toAbstract.