ocaml-logicalform v0.6.0 · OCaml Package

package ocaml-logicalform

ocaml-logicalform
- LogicalForm
  - CNF
    
    I
    
    Clause
    
    Literal
    
    Id
    
    T
    
    Make
    
    C
    
    Literal
    
    Id
    
    T
  - Clause
    
    I
    
    Literal
    
    Id
    
    T
    
    Make
    
    L
    
    Id
    
    T
  - DNF
    
    I
    
    Term
    
    Literal
    
    Id
    
    T
    
    Make
    
    T
    
    Literal
    
    Id
    
    T
  - Exceptions
  - Form
    
    I
    
    Literal
    
    Id
    
    T
  - IdBase
    
    BASE
    
    I
    
    Make
    
    B
  - Index
    
    I
    
    T
    
    Make
    
    T
  - Literal
    
    I
    
    Id
    
    T
    
    Make
    
    Id
    
    T
  - NNF
    
    I
    
    Literal
    
    Id
    
    T
    
    Make
    
    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
    
    L
    
    Id
    
    T
  - UnNF
    
    I
    
    Literal
    
    Id
    
    T
    
    Make
    
    L
    
    Id
    
    T

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

val not_ : t -> t