Module Single_value_abstraction.Sig

The signature of all single-value abstractions. Start here.

module Quadrivalent = Lattices.Quadrivalent

Standard abstraction for booleans.

module Bitfield = Lattices.Bitfield

Forward transfer functions

module type WITH_BOOLEAN_FORWARD = sig ... end

module type WITH_INTEGER_FORWARD = sig ... end

module type WITH_BITVECTOR_FORWARD = sig ... end

module type WITH_ENUM_FORWARD = sig ... end

module type WITH_BLOCK_FORWARD = sig ... end

module type WITH_MEMORY_FORWARD = sig ... end

module type WITH_MEMORY_BITVECTOR_BOOLEAN_FORWARD = sig ... end

module type WITH_MEMORY_BITVECTOR_INTEGER_BOOLEAN_FORWARD = sig ... end

module type WITH_FORWARD = sig ... end

Backward transfer functions

module type WITH_BOOLEAN_BACKWARD = sig ... end

module type WITH_INTEGER_BACKWARD = sig ... end

module type WITH_ENUM_BACKWARD = sig ... end

module type WITH_BITVECTOR_BACKWARD = sig ... end

module type WITH_BLOCK_BACKWARD = sig ... end

module type WITH_MEMORY_BACKWARD = sig ... end

module type WITH_MEMORY_BITVECTOR_BOOLEAN_BACKWARD = sig ... end

Both backward and forward

module type WITH_BOOLEAN_FORWARD_BACKWARD = sig ... end

module type WITH_INTEGER_FORWARD_BACKWARD = sig ... end

module type WITH_ENUM_FORWARD_BACKWARD = sig ... end

module type WITH_BITVECTOR_FORWARD_BACKWARD = sig ... end

module type WITH_BLOCK_FORWARD_BACKWARD = sig ... end

module type WITH_MEMORY_FORWARD_BACKWARD = sig ... end

module type WITH_BITVECTOR_BOOLEAN_FORWARD_BACKWARD = sig ... end

module type WITH_MEMORY_BITVECTOR_BOOLEAN_FORWARD_BACKWARD = sig ... end

module type WITH_FORWARD_BACKWARD = sig ... end

Base versions

module type BOOLEAN_LATTICE = Lattices.Sig.BOOLEAN_LATTICE

module type INTEGER_LATTICE = Lattices.Sig.INTEGER_LATTICE

module type BITVECTOR_LATTICE = Lattices.Sig.BITVECTOR_LATTICE

module type ENUM_LATTICE = Lattices.Sig.ENUM_LATTICE

module type MEMORY_LATTICE = sig ... end

module type BLOCK_LATTICE = sig ... end

module type BOOLEAN = sig ... end

module type INTEGER = sig ... end

module type ENUM = sig ... end

module type BITVECTOR = sig ... end

module type BITVECTOR_ENUM = sig ... end

module type NUMERIC = sig ... end

module type NUMERIC_ENUM = sig ... end

module type ALL = sig ... end

Most complete version, with all datatypes. Used as a parameter for functors.