package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Contains every other module

module Symbol = LogtkSymbol
module ScopedTerm = LogtkScopedTerm
module FOTerm = LogtkFOTerm
module Type = LogtkType
module Util = LogtkUtil
module PrologTerm = LogtkPrologTerm
module Interfaces = LogtkInterfaces
module DBEnv = LogtkDBEnv
module Position = LogtkPosition
module HOTerm = LogtkHOTerm
module Formula = LogtkFormula
module Substs = LogtkSubsts
module Unif = LogtkUnif
module Signature = LogtkSignature
module TypeInference = LogtkTypeInference
module Options = LogtkOptions
module Comparison = LogtkComparison
module Precedence = LogtkPrecedence
module Precedence_intf = LogtkPrecedence_intf
module Ordering = LogtkOrdering
module Ordering_intf = LogtkOrdering_intf
module Skolem = LogtkSkolem
module Cnf = LogtkCnf
module HORewriting = LogtkHORewriting
module Index = LogtkIndex
module Dtree = LogtkDtree
module Fingerprint = LogtkFingerprint
module NPDtree = LogtkNPDtree
module Congruence = LogtkCongruence
module FastFingerprint = LogtkFastFingerprint
module FeatureVector = LogtkFeatureVector
module Rewriting = LogtkRewriting
module FormulaShape = LogtkFormulaShape
module Transform = LogtkTransform
module Lambda = LogtkLambda
module Sourced = LogtkSourced
module TypedPrologTerm = LogtkTypedPrologTerm
module Hashcons = LogtkHashcons
module Cache = LogtkCache
module ParseLocation = LogtkParseLocation
module Multiset = LogtkMultiset
module PartialOrder = LogtkPartialOrder
module PartialOrder_intf = LogtkPartialOrder_intf
module LazyList = LogtkLazyList
module IArray = LogtkIArray
module LazyGraph = LogtkLazyGraph