toggle menu
procedural
jvm
switch theme
Constraints
gov.
nasa.
ammos.
aerie.
procedural.
constraints
Constraint
Generator
Constraint
Violation
Violations
Companion
Scheduling
gov.
nasa.
ammos.
aerie.
procedural.
scheduling
Goal
Procedure
Mapper
gov.
nasa.
ammos.
aerie.
procedural.
scheduling.
annotations
Scheduling
Procedure
With
Mappers
gov.
nasa.
ammos.
aerie.
procedural.
scheduling.
plan
Edit
Create
Editable
Plan
New
Directive
gov.
nasa.
ammos.
aerie.
procedural.
scheduling.
simulation
Checkpoint
Generation
At
End
At
Times
None
Periodic
Checkpoint
Retention
All
Duration
From
Present
Latest
Pause
Behavior
After
Duration
At
End
Earliest
Of
Latest
Of
Simulate
Options
Timeline
gov.
nasa.
ammos.
aerie.
procedural.
timeline
Base
Timeline
Bounds
Transformer
Companion
Collect
Options
Interval
Companion
Inclusivity
Inclusive
Exclusive
Null
Binary
Operation
Binary
Operation
Both
Null
Exception
Companion
Zip
Operation
Both
Defined
Exception
Timeline
gov.
nasa.
ammos.
aerie.
procedural.
timeline.
collections
Directives
External
Events
Instances
Universal
Windows
gov.
nasa.
ammos.
aerie.
procedural.
timeline.
collections.
profiles
Booleans
Companion
Constants
Companion
Numbers
Companion
Real
Companion
Real
Deserialize
Exception
Real
Op
Exception
Strings
Companion
gov.
nasa.
ammos.
aerie.
procedural.
timeline.
ops
Activity
Ops
Boolean
Ops
Constant
Ops
General
Ops
Non
Zero
Duration
Ops
Split
Exception
Parallel
Ops
Segment
Ops
Serial
Constant
Ops
Serial
Ops
Serial
Segment
Ops
gov.
nasa.
ammos.
aerie.
procedural.
timeline.
ops.
coalesce
Coalesce
Intervals
Op
Coalesce
No
Op
Coalesce
Segments
Op
gov.
nasa.
ammos.
aerie.
procedural.
timeline.
ops.
numeric
Linear
Ops
Numeric
Ops
Primitive
Number
Ops
Serial
Numeric
Ops
gov.
nasa.
ammos.
aerie.
procedural.
timeline.
payloads
Connection
External
Event
External
Source
Interval
Like
Linear
Equation
Segment
Companion
transpose()
gov.
nasa.
ammos.
aerie.
procedural.
timeline.
payloads.
activities
Activity
Any
Directive
Companion
Any
Instance
Companion
Directive
Directive
Start
Absolute
Anchor
Anchor
Point
Companion
Start
End
Instance
gov.
nasa.
ammos.
aerie.
procedural.
timeline.
plan
Event
Query
Plan
Simulation
Results
gov.
nasa.
ammos.
aerie.
procedural.
timeline.
util
coalesce
List()
list
Collector()
map2Parallel
Lists()
map2Segment
Lists()
maybe
Coalesce()
preprocess
List()
sorted()
truncate
List()
gov.
nasa.
ammos.
aerie.
procedural.
timeline.
util.
duration
div()
minus()
plus()
range
To()
range
Until()
rem()
unary
Minus()
Timeline
/
gov.nasa.ammos.aerie.procedural.timeline.ops
/
BooleanOps
/
falsifyShorterThan
falsify
Shorter
Than
open
fun
falsifyShorterThan
(
dur
:
Duration
)
:
THIS
(DOC)
Falsifies any
true
segments with durations shorter than the given duration.