package goblint

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

Module Goblint_constraintSource

(Side-effecting) constraint systems.

Specification

Sourcemodule ConstrSys : sig ... end

constraint system signatures.

Sourcemodule SolverTypes : sig ... end

Solver signatures

Utilities

Sourcemodule Translators : sig ... end

Results

Sourcemodule VarQuery : sig ... end

Queries for constraint variables related to semantic elements.