Uses of Record Class
es.urjc.etsii.grafo.autoconfig.service.AutoconfigRunState.BudgetSnapshot

Packages that use AutoconfigRunState.BudgetSnapshot

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

Uses of AutoconfigRunState.BudgetSnapshot in es.urjc.etsii.grafo.autoconfig.service

Methods in es.urjc.etsii.grafo.autoconfig.service that return AutoconfigRunState.BudgetSnapshot

Modifier and Type	Method	Description
AutoconfigRunState.BudgetSnapshot	AutoconfigRunState.StatusSnapshot.budget()	Returns the value of the budget record component.

Constructors in es.urjc.etsii.grafo.autoconfig.service with parameters of type AutoconfigRunState.BudgetSnapshot

Modifier	Constructor	Description
	StatusSnapshot(String runId, AutoconfigRunState.Role role, AutoconfigRunState.RunStatus state, Instant preparedAt, Instant startedAt, Instant finishedAt, Long elapsedMillis, AutoconfigRunState.BudgetSnapshot budget, AutoconfigRunState.EvaluationCounts evaluations, int generatedParameterCount, AutoconfigRunState.IraceProgress irace, AutoconfigRunState.FailureSnapshot failure)	Creates an instance of a StatusSnapshot record class.