package goblint

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

Module Goblint_constraint.TranslatorsSource

Sourcemodule EqConstrSysFromDemandConstrSys (S : ConstrSys.DemandEqConstrSys) : ConstrSys.EqConstrSys with type v = S.v and type d = S.d and module Var = S.Var and module Dom = S.Dom

Translate a DemandConstrSys into a EqConstrSys

Translate a DemandGlobConstrSys into a DemandEqConstrSys

Splits a EqConstrSys solution into a GlobConstrSys solution with given Hashtbl.S for the EqConstrSys.

Splits a EqConstrSys solution into a GlobConstrSys solution.

Transforms a DemandEqIncrSolver into a DemandGlobIncrSolver.