package alt-ergo

You can search for identifiers within the package.

in-package search v0.2.0

package alt-ergo

alt-ergo.plugins.fm-simplex
- FmSimplexPlugin
  - FmSimplexIneqs
  - Simplex
    
    Coef_Type
    
    Simplex
    
    C
    
    C2
    
    Core_Simplex
    
    D
    
    Normalizer
    
    Simplex_Q
    
    C2
    
    Core_Simplex
    
    D
    
    Normalizer
  - Simplex_cache
    
    MAKE
    
    C
    
    MD
    
    SM

Legend:
Library
Module
Module type
Parameter
Class
Class type

module H = Stdlib.Hashtbl

type pred =

| Eq
| Ge
| Le
| Gt

val dsimplex : bool Stdlib.ref

module type Coef_Type = sig ... end

type t_c2 = AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t

type t1 = {

mutable a : (int * AltErgoLib.Numbers.Q.t) array;
mutable c : AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t;

}

type t2 = {

mutable a2 : AltErgoLib.Numbers.Q.t array;
mutable c2 : AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t;

}

type rich_result = {

vof : t_c2;
vals : (int * t_c2) list;
ctx : (int * t2) list;
distr : int array;
order : int Stdlib.Queue.t;

}

type result =

| Unsat of rich_result
| Unbound of rich_result
| Max of rich_result
| Eq_unsat

module Simplex (C : Coef_Type) : sig ... end

module Simplex_Q : sig ... end