CHANGES.md.html · ocaml-logicalform v0.6.0

ocaml-logicalform

`LogicalForm` provides modules for efficient and intuitive manipulation

package ocaml-logicalform

ocaml-logicalform
- LogicalForm
  - CNF
    
    I
    
    Clause
    
    Literal
    
    Id
    
    T
    
    Make
    
    1-C
    
    Literal
    
    Id
    
    T
  - Clause
    
    I
    
    Literal
    
    Id
    
    T
    
    Make
    
    1-L
    
    Id
    
    T
  - DNF
    
    I
    
    Term
    
    Literal
    
    Id
    
    T
    
    Make
    
    1-T
    
    Literal
    
    Id
    
    T
  - Exceptions
  - Form
    
    I
    
    Literal
    
    Id
    
    T
  - IdBase
    
    BASE
    
    I
    
    Make
    
    1-B
  - Index
    
    I
    
    T
    
    Make
    
    1-T
  - Literal
    
    I
    
    Id
    
    T
    
    Make
    
    1-Id
    
    T
  - NNF
    
    I
    
    Literal
    
    Id
    
    T
    
    Make
    
    1-L
    
    Id
    
    T
  - PrettyPrint
    
    I
    
    Inspectable
    
    Sexpable
    
    Style
    
    Infix
    
    Prefix
  - Properties
    
    Conjunctable
    
    Disjunctable
    
    Executable
    
    NeedsValidation
    
    Negatable
  - Std
    
    CNF
    
    Clause
    
    Literal
    
    Id
    
    T
    
    Clause
    
    Literal
    
    Id
    
    T
    
    DNF
    
    Term
    
    Literal
    
    Id
    
    T
    
    Index
    
    T
    
    Literal
    
    Id
    
    T
    
    NNF
    
    Literal
    
    Id
    
    T
    
    Term
    
    Literal
    
    Id
    
    T
    
    UnNF
    
    Literal
    
    Id
    
    T
  - Term
    
    I
    
    Literal
    
    Id
    
    T
    
    Make
    
    1-L
    
    Id
    
    T
  - UnNF
    
    I
    
    Literal
    
    Id
    
    T
    
    Make
    
    1-L
    
    Id
    
    T

Legend:
Library
Module
Module type
Parameter
Class
Class type

Manual

Module CHANGES.md.html

[#] First release