Package gov.nasa.jpl.aerie.merlin.framework
package gov.nasa.jpl.aerie.merlin.framework
-
ClassDescriptionActivityMapper<Model,
Specification, Return> CellRef<Event,State> ReplayingTask<Return>Resource<Dynamics>Result<Success,Failure> This class is the equivalent of the type `Result L R = Success L | Failure R` in a language with algebraic data types, but adapted to the vagaries of the Java platform.Result.Visitor<Success,Failure, Output, Throws extends Throwable> Result.VisitorCase<Input,Output, Throws extends Throwable> Scoped<T>A dynamically-scoped cell.ThreadedTask<Return>ValueMapper<T>A mapping between (a) the mission-specific representation of a data type defined by a mission model (b) to a mission-agnostic representation of that data type.