package libzipperposition

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

Module Bool_lit.MakeSource

Parameters

module Payload : PAYLOAD

Signature

Sourcetype t
Sourcetype payload = Payload.t

Additional data carried in the literal

Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
Sourceval dummy : t

Value that should not be used

Sourceval neg : t -> t

Negate the boolean literal

Sourceval sign : t -> bool

Current sign of the literal (positive or negative)

Sourceval abs : t -> t

Literal without its sign

Sourceval norm : t -> t * bool

norm l = abs l, not (sign l)

Sourceval set_sign : bool -> t -> t

Set the sign of the literal to the given boolean

Sourceval apply_sign : bool -> t -> t

apply_sign s lit is lit if s, neg lit otherwise

Sourceval make : payload -> t

Make a fresh literal with the given payload

Sourceval payload : t -> payload

Obtain the payload

Sourceval to_int : t -> int
Sourceval fresh_id : unit -> int

Make a fresh ID. Use with care.

Sourcemodule Set : CCSet.S with type elt = t
Sourcemodule Tbl : CCHashtbl.S with type key = t