package mc2

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

Module Mc2_core.AtomSource

Sourcetype t
Sourceval equal : t -> t -> bool
Sourceval compare : t -> t -> int
Sourceval hash : t -> int
Sourceval same_term : t -> t -> bool

same term, ignoring sign?

Sourceval is_pos : t -> bool

Positive atom?

Sourceval is_neg : t -> bool

Positive atom?

Negative atom?

Sourceval neg : t -> t

Negative atom?

Negation

Sourceval abs : t -> t

Negation

Positive version

Sourceval value : t -> Mc2_core__.Solver_types.value option

Positive version

Sourceval mark : t -> unit

Mark the atom as seen, using fields in the variable.

Sourceval marked : t -> bool

Mark the atom as seen, using fields in the variable.

Returns wether the atom has been marked as seen.

Sourceval unmark : t -> unit

Returns wether the atom has been marked as seen.

Sourceval mark_neg : t -> unit

Mark negation of the atom

Sourceval unmark_neg : t -> unit

Mark negation of the atom

Unmark negation of the atom

Sourceval level : t -> int

decision level of the variable

Sourceval reason : t -> Mc2_core__.Solver_types.reason option

decision level of the variable

Sourceval reason_exn : t -> Mc2_core__.Solver_types.reason
Sourceval is_true : t -> bool

True in current model?

Sourceval is_false : t -> bool

True in current model?

Sourceval is_undef : t -> bool
Sourceval has_some_value : t -> bool
Sourceval eval : t -> Mc2_core__.Solver_types.eval_res

Semantically evaluate atom

Sourceval is_absurd : t -> bool

Semantically evaluate atom

Sourceval can_eval_to_false : t -> bool
Sourceval term : t -> Mc2_core__.Solver_types.term
Sourceval watched : t -> Mc2_core__.Solver_types.clause Mc2_core__.Vec.t

nice printer

nice printer

very verbose printer

Sourcemodule Tbl : CCHashtbl.S with type key = t
Sourcemodule Set : CCSet.S with type elt = t
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