package sd_logic

You can search for identifiers within the package.

in-package search v0.2.0

package sd_logic

sd_logic
- Sd_logic
  - Robot_state
  - Robot_state_history
  - Rs
  - Rsh
  - Sd
    
    Id
    
    Packed
  - Sd_lang
    
    Applicative_infix
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
  - Sd_node
  - Seq_model
  - State_history

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t = {

logic : Robot_state.t Sd_lang.t;
sds_estimating : Core_kernel.Set.M(Sd.Packed).t;

}

val create : Robot_state.t Sd_lang.t -> Core_kernel.Set.M(Sd.Packed).t -> t

type safety =

| Safe
| Warnings
| Unsafe

exception Missing_sd of string

exception Extra_sd of string

val execute : safety:safety -> t -> Rsh.t -> Rs.t