package mc2

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

Module Term.BoolSource

Sourcetype t
Sourceval both_atoms_marked : t -> bool

Did we see both polarities of this var in the same clause?

Sourceval assigned_atom : t -> Mc2_core__.Solver_types.atom option

Did we see both polarities of this var in the same clause?

if assigned and bool, return corresponding atom

Sourceval assigned_atom_exn : t -> Mc2_core__.Solver_types.atom

if assigned and bool, return corresponding atom

Sourceval pa_unsafe : t -> Mc2_core__.Solver_types.atom

Positive atom (assumes has_var t)

Sourceval na_unsafe : t -> Mc2_core__.Solver_types.atom

Positive atom (assumes has_var t)

Negative atom (assumes has_var t)

Sourceval pa : t -> Mc2_core__.Solver_types.atom

safe version of pa_unsafe, call setup_var

Sourceval na : t -> Mc2_core__.Solver_types.atom

safe version of pa_unsafe, call setup_var

safe version of na_unsafe, call setup_var

Sourceval mk_eq : Mc2_core__.Solver_types.term -> Mc2_core__.Solver_types.term -> Mc2_core__.Solver_types.atom
Sourceval mk_neq : Mc2_core__.Solver_types.term -> Mc2_core__.Solver_types.term -> Mc2_core__.Solver_types.atom
Sourceval is_true : t -> bool
Sourceval is_false : t -> bool
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct