package pgsolver

  1. Overview
  2. Docs
package pgsolver
Legend:
Library
Module
Module type
Parameter
Class
Class type
type state
type proposition
type action
val actions : unit -> action list
val initstate : unit -> state
val labels : state -> proposition -> bool
val successors : state -> action -> state list
val show_state : state -> string
val show_proposition : proposition -> string
val show_action : action -> string
val property : unit -> (proposition, action) mucalc