package codex

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

Module Terms.ConditionSource

Possible implementations of conditions for the terms.

Sourcemodule Bed : sig ... end
Sourcemodule ConditionMy : sig ... end
Sourcemodule ConditionDom : sig ... end

This uses the structure of the dominator tree as conditions. It observes the fact that we never perform intersection on arbitrary conditions, as conditions represent set of paths, we either assume a new condition or join existing ones.

Sourcemodule ConditionInt : sig ... end

A dummy Condition, which creates a new int each time.

Sourcemodule ConditionCudd : sig ... end

Condition using Cudd binary-decision diagrams.

Sourcemodule MakeConditionMapMTBDD (Lattice : sig ... end) : sig ... end
Sourcemodule type SCONDITIONMAP_MTBDD = sig ... end
Sourcemodule ConditionMapMTBDD : sig ... end
Sourcemodule CuddMTBDD : sig ... end
Sourcemodule type SCONDITIONMAP_CUDD_MTBDD = sig ... end
Sourcemodule CuddTree : sig ... end
Sourcemodule type SCONDITIONMAP_CUDD_TREE = sig ... end
Sourcemodule CuddPIPartition : sig ... end
Sourcemodule DomPIPartition : sig ... end
Sourcemodule CuddPITree : sig ... end
Sourcemodule CuddPIMTBDD : sig ... end
Sourcemodule HomeMadeBDDPartitionPI : sig ... end
Sourcemodule HomeMadeMTBDD : sig ... end