Uses of Class
de.rwth.i2.attestor.graph.BasicNonterminal

Packages that use BasicNonterminal

Package	Description
de.rwth.i2.attestor.graph	Abstractions and implementations of various labeled graphs and heap configurations.

Uses of BasicNonterminal in de.rwth.i2.attestor.graph

Methods in de.rwth.i2.attestor.graph that return BasicNonterminal

Modifier and Type	Method and Description
BasicNonterminal	BasicNonterminal.Factory.create(String label, int rank, boolean[] isReductionTentacle) Method to create nonterminal symbols.
BasicNonterminal	BasicNonterminal.Factory.get(String name)