package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Static.STRATEGY

Signature of a static packing strategy

val name : string

Name of the packing strategy

type pack

Packs are finite abstraction of the dimensions of a the underlying domain.

val id : pack MopsaLib.id

Unique identifier of the packing strategy

val compare : pack -> pack -> int

Total order of packs

val print : MopsaLib.printer -> pack -> unit

Pretty printer of packs

val init : MopsaLib.program -> unit

Initialization of the strategy

val packs_of_var : 'a Mopsa_analyzer.MopsaLib.Context.ctx -> MopsaLib.var -> pack list

Return the packs containing a dimension (a variable)