Uses of Record Class
es.urjc.etsii.grafo.autoconfig.generator.Derivation

Packages that use Derivation

Package	Description
es.urjc.etsii.grafo.autoconfig.generator

Uses of Derivation in es.urjc.etsii.grafo.autoconfig.generator

Methods in es.urjc.etsii.grafo.autoconfig.generator that return types with arguments of type Derivation

Modifier and Type	Method	Description
HashMap<Derivation,Integer>	TreeContext.derivationCounter()	Returns the value of the derivationCounter record component.

Methods in es.urjc.etsii.grafo.autoconfig.generator with parameters of type Derivation

Modifier and Type	Method	Description
int	TreeContext.getDerivationCount(Derivation d)
boolean	TreeContext.inLimits(Derivation d)
void	TreeContext.popDerivation(Derivation d)
void	TreeContext.pushDerivation(Derivation d)

Constructor parameters in es.urjc.etsii.grafo.autoconfig.generator with type arguments of type Derivation

Modifier	Constructor	Description
	TreeContext(int maxDepth, int maxRepeat, ArrayDeque<Class<?>> branch, HashMap<Derivation,Integer> derivationCounter)	Creates an instance of a TreeContext record class.