Uses of Record Class
io.fluxzero.sdk.persisting.repository.ModelDiagnostics.ModelContract

Packages that use ModelDiagnostics.ModelContract

Package	Description
io.fluxzero.sdk.persisting.repository

Uses of ModelDiagnostics.ModelContract in io.fluxzero.sdk.persisting.repository

Methods in io.fluxzero.sdk.persisting.repository that return types with arguments of type ModelDiagnostics.ModelContract

Modifier and Type	Method	Description
List<ModelDiagnostics.ModelContract>	ModelDiagnostics.Report.models()	Returns the value of the models record component.

Constructor parameters in io.fluxzero.sdk.persisting.repository with type arguments of type ModelDiagnostics.ModelContract

Modifier	Constructor	Description
	Report(long stateIndex, boolean exactBoundary, boolean graphSample, List<ModelDiagnostics.ModelContract> models)	Copies the bounded Model list.