package alt-ergo

You can search for identifiers within the package.

in-package search v0.2.0

package alt-ergo

doc
- CHANGES
- LICENSE
- README
- index_common
- index_fmsimplex
- Library FmSimplexPlugin
  - FmSimplexPlugin
    
    FmSimplexIneqs
    
    Simplex
    
    H
    
    Coef_Type
    
    Simplex
    
    C2
    
    D
    
    Normalizer
    
    Core_Simplex
    
    Simplex_Q
    
    C2
    
    D
    
    Normalizer
    
    Core_Simplex
    
    Simplex_cache
    
    MAKE
    
    MI
    
    MD
    
    SM
- Sources
  - FmSimplexPlugin
    
    fmSimplexIneqs.ml
    
    fmSimplexPlugin.ml
    
    simplex.ml
    
    simplex_cache.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Simplex_Q.C2`Source

Sourcetype t = AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t

Sourceval zero : AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t

Sourceval concrete : 'a -> 'a * AltErgoLib.Numbers.Q.t

Sourceval abstract : 'a -> 'a * AltErgoLib.Numbers.Q.t

Sourceval to_string : (AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t) -> string

Source

val add : 
  (AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t) ->
  (AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t) ->
  AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t

Source

val mult : 
  AltErgoLib.Numbers.Q.t ->
  (AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t) ->
  AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t

Sourceval is_zero : (AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t) -> bool

Sourceval is_one : (AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t) -> bool

Source

val compare : 
  (AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t) ->
  (AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t) ->
  int

Source

val div : 
  (AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t) ->
  AltErgoLib.Numbers.Q.t ->
  AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t

Source

val minus : 
  (AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t) ->
  AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t

package alt-ergo

Module Simplex_Q.C2Source

Module `Simplex_Q.C2`Source