group logic

logic

First-order logic data structure and algorithm.

All subgroups and modules

module lexpr

logic :: lexpr

Logical expression.
module logic

logic :: logic

First-order logic data structure and algorithm.
package_diagram logic\> logic core core logic\>->core

Ancestors

group codecs

core > codecs

Group module for all codec-related manipulations
group collection

core > collection

This module define several collection classes.
group text

core > text

All the classes and methods related to the manipulation of text entities

Parents

group core

core

Nit common library of core classes and methods
Nit standard library. Version v0.8-3595-g3f58b4f.