Package-level declarations
Types
Link copied to clipboard
Algorithm for Reach Operator Computation
Link copied to clipboard
Algorithms for basic signal primitives, precisely
- refine for refining a signal given an update
- refineChain for refining a signal given a sequence of updates
- select for selecting a fragment of a signal given some bounds
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Note that the methods in this class require explicit time declaration to deal with numeric operations which cannot be defined on Generic types, not even on the
Number
class.