The cl-logic Reference Manual

Next: , Previous: , Up: (dir)   [Contents][Index]

The cl-logic Reference Manual

This is the cl-logic Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Tue Nov 15 04:54:10 2022 GMT+0.

Table of Contents


1 Systems

The main system appears first, followed by any subsystem dependency.


Next: , Previous: , Up: Systems   [Contents][Index]

1.1 cl-logic

Boolean algebra package

Author

Mikhail Klementyev <jollheef@riseup.net>

License

GNU GPLv3

Dependencies
Source

cl-logic.asd.

Child Components

Previous: , Up: Systems   [Contents][Index]

1.2 quine-mccluskey

Quine-McCluskey method implementation

Maintainer

Ritchie Cai

Author

Ritchie Cai

License

GNU GPLv3

Source

cl-logic.asd.

Child Components

2 Files

Files are sorted by type and then listed depth-first from the systems components trees.


Next: , Previous: , Up: Files   [Contents][Index]

2.1 Lisp


Next: , Previous: , Up: Lisp   [Contents][Index]

2.1.1 cl-logic/cl-logic.asd

Source

cl-logic.asd.

Parent Component

cl-logic (system).

ASDF Systems

2.1.2 cl-logic/package.lisp

Dependency

copying (file).

Source

cl-logic.asd.

Parent Component

cl-logic (system).

Packages

2.1.3 cl-logic/cl-logic.lisp

Dependency

package.lisp (file).

Source

cl-logic.asd.

Parent Component

cl-logic (system).

Internals

2.1.4 cl-logic/def.lisp

Dependencies
Source

cl-logic.asd.

Parent Component

cl-logic (system).

Internals

2.1.5 cl-logic/dual.lisp

Dependencies
Source

cl-logic.asd.

Parent Component

cl-logic (system).

Internals

2.1.6 cl-logic/infix.lisp

Dependencies
Source

cl-logic.asd.

Parent Component

cl-logic (system).

Public Interface

infix->prefix (function).

Internals

2.1.7 cl-logic/operators.lisp

Dependencies
Source

cl-logic.asd.

Parent Component

cl-logic (system).

Internals

2.1.8 cl-logic/shortcuts.lisp

Dependencies
Source

cl-logic.asd.

Parent Component

cl-logic (system).

Internals

2.1.9 cl-logic/form.lisp

Dependencies
Source

cl-logic.asd.

Parent Component

cl-logic (system).

Internals

2.1.10 cl-logic/bool-structs.lisp

Dependencies
Source

cl-logic.asd.

Parent Component

cl-logic (system).

Internals

describe-boolean-cube (function).


2.1.11 cl-logic/boolean-simplify.lisp

Dependencies
Source

cl-logic.asd.

Parent Component

cl-logic (system).

Internals

2.1.12 cl-logic/random-bool.lisp

Dependencies
Source

cl-logic.asd.

Parent Component

cl-logic (system).

Internals

random-bool-func (function).


2.1.13 cl-logic/combinator.lisp

Dependencies
Source

cl-logic.asd.

Parent Component

cl-logic (system).

Internals

2.1.14 quine-mccluskey/package.lisp

Source

cl-logic.asd.

Parent Component

quine-mccluskey (system).

Packages

2.1.15 quine-mccluskey/quine-mccluskey.lisp

Dependency

package.lisp (file).

Source

cl-logic.asd.

Parent Component

quine-mccluskey (system).

Public Interface

quine-mccluskey (function).

Internals

Previous: , Up: Files   [Contents][Index]

2.2 Static


Previous: , Up: Static   [Contents][Index]

2.2.1 cl-logic/COPYING

Source

cl-logic.asd.

Parent Component

cl-logic (system).


3 Packages

Packages are listed by definition order.


Next: , Previous: , Up: Packages   [Contents][Index]

3.1 cl-logic

Source

package.lisp.

Use List

common-lisp.

Public Interface

infix->prefix (function).

Internals

Previous: , Up: Packages   [Contents][Index]

3.2 quine-mccluskey

Source

package.lisp.

Nickname

qm

Use List

common-lisp.

Public Interface

quine-mccluskey (function).

Internals

4 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


Next: , Previous: , Up: Definitions   [Contents][Index]

4.1 Public Interface


4.1.1 Ordinary functions

Function: infix->prefix (infix-expr &optional separators test)
Package

cl-logic.

Source

infix.lisp.

Function: quine-mccluskey (sample-str minterms &key print-fn)
Package

quine-mccluskey.

Source

quine-mccluskey.lisp.


4.2 Internals


Next: , Previous: , Up: Internals   [Contents][Index]

4.2.1 Special variables

Special Variable: *mask-fn*
Package

quine-mccluskey.

Source

quine-mccluskey.lisp.

Special Variable: *separators*

Операторы по убыванию приоритета.

Package

cl-logic.

Source

infix.lisp.

Special Variable: *xor-fn*
Package

quine-mccluskey.

Source

quine-mccluskey.lisp.


4.2.2 Macros

Macro: append-to (entry &key list)
Package

quine-mccluskey.

Source

quine-mccluskey.lisp.

Macro: chars-gate (&key inputs table)
Package

quine-mccluskey.

Source

quine-mccluskey.lisp.

Macro: def (name body)
Package

cl-logic.

Source

def.lisp.

Macro: def-dual-infix (name body)
Package

cl-logic.

Source

def.lisp.

Macro: def-infix (name body)
Package

cl-logic.

Source

def.lisp.


Previous: , Up: Internals   [Contents][Index]

4.2.3 Ordinary functions

Function: ->anf (func)
Package

cl-logic.

Source

form.lisp.

Function: ->cnf (func)
Package

cl-logic.

Source

form.lisp.

Function: ->dnf (func)
Package

cl-logic.

Source

form.lisp.

Function: all-permutations (lst &optional remain)
Package

cl-logic.

Source

combinator.lisp.

Function: anf-conversion (list)
Package

cl-logic.

Source

form.lisp.

Function: anf-disjuncts (vector)
Package

cl-logic.

Source

form.lisp.

Function: append-func (func list)
Package

cl-logic.

Source

infix.lisp.

Function: append-to-length (list int obj)

Добавляет объект obj к списку list до длины int

Package

cl-logic.

Source

shortcuts.lisp.

Function: bool->int (bool)

Переводит из булевой формы в двоичную

Package

cl-logic.

Source

shortcuts.lisp.

Function: boolean-list->binary-str (list)
Package

cl-logic.

Source

shortcuts.lisp.

Function: boolean-simplify (function)
Package

cl-logic.

Source

boolean-simplify.lisp.

Function: boolean-simplify-raw (result-vector)
Package

cl-logic.

Source

boolean-simplify.lisp.

Function: boolean-simplify-vector (vector)
Package

cl-logic.

Source

boolean-simplify.lisp.

Function: boolean-table (nvars)

Генерирует таблицу значений для nvars переменных

Package

cl-logic.

Source

cl-logic.lisp.

Function: boolean-terms (vector)
Package

cl-logic.

Source

boolean-simplify.lisp.

Function: char+ (char &optional n)

Возвращает следующий либо char+n символ в таблице

Package

cl-logic.

Source

shortcuts.lisp.

Function: convert-raw-list-to-boolean (raw-list)
Package

cl-logic.

Source

boolean-simplify.lisp.

Function: convert-raw-string-to-boolean (raw-string)
Package

cl-logic.

Source

boolean-simplify.lisp.

Function: count-elem (lst e)
Package

quine-mccluskey.

Source

quine-mccluskey.lisp.

Function: describe-boolean-cube (n)
Package

cl-logic.

Source

bool-structs.lisp.

Function: dual (listfunc)
Package

cl-logic.

Source

dual.lisp.

Function: dual-infix (listfunc)
Package

cl-logic.

Source

dual.lisp.

Function: equivalent (functions)
Package

cl-logic.

Source

cl-logic.lisp.

Function: gen-list (obj n)

Генерирует список размера n из объект obj

Package

cl-logic.

Source

shortcuts.lisp.

Function: general-validity-p (function)
Package

cl-logic.

Source

cl-logic.lisp.

Function: get-args (list)
Package

cl-logic.

Source

def.lisp.

Function: get-symbols (list)
Package

cl-logic.

Source

def.lisp.

Function: help-operators ()
Package

cl-logic.

Source

operators.lisp.

Function: infix->prefix-optimized (infix-expr &optional separators test)

Переходит от инфиксной записи к префиксной

Package

cl-logic.

Source

infix.lisp.

Function: init-table (term-list bin-str-fmt &key print-fn)
Package

quine-mccluskey.

Source

quine-mccluskey.lisp.

Function: insert-between (lst sep)
Package

cl-logic.

Source

infix.lisp.

Function: int->bool (char)

Переводит из двоичной формы в булеву

Package

cl-logic.

Source

shortcuts.lisp.

Function: int->bool-bin-list (n)
Package

cl-logic.

Source

shortcuts.lisp.

Function: int->bool-list (int)

Переводит число из десятичной системы в список булевых

Package

cl-logic.

Source

shortcuts.lisp.

Function: map-recursive (func list)
Package

cl-logic.

Source

dual.lisp.

Function: mark (k1-list k2-list)
Package

quine-mccluskey.

Source

quine-mccluskey.lisp.

Function: mask-chars (str mask)
Package

quine-mccluskey.

Source

quine-mccluskey.lisp.

Function: mul-perms (flist slist)
Package

cl-logic.

Source

combinator.lisp.

Function: mul-perms-assoc (zlist var)
Package

cl-logic.

Source

combinator.lisp.

Function: newline ()

Переход на новую строку

Package

cl-logic.

Source

shortcuts.lisp.

Function: nvars (function)

Количество переменных для функции

Package

cl-logic.

Source

shortcuts.lisp.

Function: only-two-arg (prefix-expression)
Package

cl-logic.

Source

infix.lisp.

Function: order (lst)
Package

quine-mccluskey.

Source

quine-mccluskey.lisp.

Function: order2 (lst)
Package

quine-mccluskey.

Source

quine-mccluskey.lisp.

Function: pcnf-conjuncts (vector)
Package

cl-logic.

Source

form.lisp.

Function: pcnf-conversion (list)
Package

cl-logic.

Source

form.lisp.

Function: pdnf-conversion (list)
Package

cl-logic.

Source

form.lisp.

Function: pdnf-disjuncts (vector)
Package

cl-logic.

Source

form.lisp.

Function: perms-commutativityp (f s)
Package

cl-logic.

Source

combinator.lisp.

Function: perms-groupp (list)
Package

cl-logic.

Source

combinator.lisp.

Function: permute (n)
Package

cl-logic.

Source

combinator.lisp.

Function: prefix->infix (prefix-expr &optional separators test)

Converts a prefix expression to infix

Package

cl-logic.

Source

infix.lisp.

Function: print-chars (n)

Выводит символы в виде x, y, z dots

Package

cl-logic.

Source

cl-logic.lisp.

Function: print-table (table)
Package

quine-mccluskey.

Source

quine-mccluskey.lisp.

Function: print-table2 (table)
Package

quine-mccluskey.

Source

quine-mccluskey.lisp.

Function: process (table &key print-fn)
Package

quine-mccluskey.

Source

quine-mccluskey.lisp.

Function: rand-permute (n)
Package

cl-logic.

Source

combinator.lisp.

Function: random-bool-func (nvars &optional form)
Package

cl-logic.

Source

random-bool.lisp.

Function: remove-brackets (lst)

Reduses lists with just one item to the item itself

Package

cl-logic.

Source

infix.lisp.

Function: result-vector (function)

Возвращает вектор значений функции

Package

cl-logic.

Source

cl-logic.lisp.

Function: result-vector->anf (vector)
Package

cl-logic.

Source

form.lisp.

Function: result-vector->perfect-cnf (vector)
Package

cl-logic.

Source

form.lisp.

Function: result-vector->perfect-dnf (vector)
Package

cl-logic.

Source

form.lisp.

Function: separate-list (lst separator test)

Returns list of sub-sequences defined by separator

Package

cl-logic.

Source

infix.lisp.

Function: separate-tree (lst separator test)

Apply separate-list on all sublists

Package

cl-logic.

Source

infix.lisp.

Function: strcat (&rest strings)
Package

cl-logic.

Source

shortcuts.lisp.

Function: symbol-lessp (symbol1 symbol2)
Package

cl-logic.

Source

def.lisp.

Function: tautology (functions)
Package

cl-logic.

Source

cl-logic.lisp.

Function: truth-table (function)

Генерирует таблицу истинности функции

Package

cl-logic.

Source

cl-logic.lisp.

Function: truth-table-print (function)

Вывод таблицы истинности для функции

Package

cl-logic.

Source

cl-logic.lisp.

Function: ¬ (p)

Инверсия, uac

Package

cl-logic.

Source

operators.lisp.

Function: (p q)

Штрих Шеффера, u2191

Package

cl-logic.

Source

operators.lisp.

Function: (p q)

Импликация, u2192

Package

cl-logic.

Source

operators.lisp.

Function: (p q)

Стрелка Пирса, u2193

Package

cl-logic.

Source

operators.lisp.

Function: (p list)

Предикат всеобщности

Package

cl-logic.

Source

operators.lisp.

Function: (p list)

Предикат существования

Package

cl-logic.

Source

operators.lisp.

Function: (p q)

Конъюнкция, u2227

Package

cl-logic.

Source

operators.lisp.

Function: (p q)

Дизъюнкция, u2228

Package

cl-logic.

Source

operators.lisp.

Function: (p q)

Эквивалентность, u223c

Package

cl-logic.

Source

operators.lisp.

Function: (p q)

Сложение по модулю 2, u2295

Package

cl-logic.

Source

operators.lisp.


Appendix A Indexes


Next: , Previous: , Up: Indexes   [Contents][Index]

A.1 Concepts


Next: , Previous: , Up: Indexes   [Contents][Index]

A.2 Functions

Jump to:   -   ¬                    
A   B   C   D   E   F   G   H   I   M   N   O   P   Q   R   S   T  
Index Entry  Section

-
->anf: Private ordinary functions
->cnf: Private ordinary functions
->dnf: Private ordinary functions

¬
¬: Private ordinary functions

: Private ordinary functions

: Private ordinary functions

: Private ordinary functions

: Private ordinary functions

: Private ordinary functions

: Private ordinary functions

: Private ordinary functions

: Private ordinary functions

: Private ordinary functions

A
all-permutations: Private ordinary functions
anf-conversion: Private ordinary functions
anf-disjuncts: Private ordinary functions
append-func: Private ordinary functions
append-to: Private macros
append-to-length: Private ordinary functions

B
bool->int: Private ordinary functions
boolean-list->binary-str: Private ordinary functions
boolean-simplify: Private ordinary functions
boolean-simplify-raw: Private ordinary functions
boolean-simplify-vector: Private ordinary functions
boolean-table: Private ordinary functions
boolean-terms: Private ordinary functions

C
char+: Private ordinary functions
chars-gate: Private macros
convert-raw-list-to-boolean: Private ordinary functions
convert-raw-string-to-boolean: Private ordinary functions
count-elem: Private ordinary functions

D
def: Private macros
def-dual-infix: Private macros
def-infix: Private macros
describe-boolean-cube: Private ordinary functions
dual: Private ordinary functions
dual-infix: Private ordinary functions

E
equivalent: Private ordinary functions

F
Function, ->anf: Private ordinary functions
Function, ->cnf: Private ordinary functions
Function, ->dnf: Private ordinary functions
Function, all-permutations: Private ordinary functions
Function, anf-conversion: Private ordinary functions
Function, anf-disjuncts: Private ordinary functions
Function, append-func: Private ordinary functions
Function, append-to-length: Private ordinary functions
Function, bool->int: Private ordinary functions
Function, boolean-list->binary-str: Private ordinary functions
Function, boolean-simplify: Private ordinary functions
Function, boolean-simplify-raw: Private ordinary functions
Function, boolean-simplify-vector: Private ordinary functions
Function, boolean-table: Private ordinary functions
Function, boolean-terms: Private ordinary functions
Function, char+: Private ordinary functions
Function, convert-raw-list-to-boolean: Private ordinary functions
Function, convert-raw-string-to-boolean: Private ordinary functions
Function, count-elem: Private ordinary functions
Function, describe-boolean-cube: Private ordinary functions
Function, dual: Private ordinary functions
Function, dual-infix: Private ordinary functions
Function, equivalent: Private ordinary functions
Function, gen-list: Private ordinary functions
Function, general-validity-p: Private ordinary functions
Function, get-args: Private ordinary functions
Function, get-symbols: Private ordinary functions
Function, help-operators: Private ordinary functions
Function, infix->prefix: Public ordinary functions
Function, infix->prefix-optimized: Private ordinary functions
Function, init-table: Private ordinary functions
Function, insert-between: Private ordinary functions
Function, int->bool: Private ordinary functions
Function, int->bool-bin-list: Private ordinary functions
Function, int->bool-list: Private ordinary functions
Function, map-recursive: Private ordinary functions
Function, mark: Private ordinary functions
Function, mask-chars: Private ordinary functions
Function, mul-perms: Private ordinary functions
Function, mul-perms-assoc: Private ordinary functions
Function, newline: Private ordinary functions
Function, nvars: Private ordinary functions
Function, only-two-arg: Private ordinary functions
Function, order: Private ordinary functions
Function, order2: Private ordinary functions
Function, pcnf-conjuncts: Private ordinary functions
Function, pcnf-conversion: Private ordinary functions
Function, pdnf-conversion: Private ordinary functions
Function, pdnf-disjuncts: Private ordinary functions
Function, perms-commutativityp: Private ordinary functions
Function, perms-groupp: Private ordinary functions
Function, permute: Private ordinary functions
Function, prefix->infix: Private ordinary functions
Function, print-chars: Private ordinary functions
Function, print-table: Private ordinary functions
Function, print-table2: Private ordinary functions
Function, process: Private ordinary functions
Function, quine-mccluskey: Public ordinary functions
Function, rand-permute: Private ordinary functions
Function, random-bool-func: Private ordinary functions
Function, remove-brackets: Private ordinary functions
Function, result-vector: Private ordinary functions
Function, result-vector->anf: Private ordinary functions
Function, result-vector->perfect-cnf: Private ordinary functions
Function, result-vector->perfect-dnf: Private ordinary functions
Function, separate-list: Private ordinary functions
Function, separate-tree: Private ordinary functions
Function, strcat: Private ordinary functions
Function, symbol-lessp: Private ordinary functions
Function, tautology: Private ordinary functions
Function, truth-table: Private ordinary functions
Function, truth-table-print: Private ordinary functions
Function, ¬: Private ordinary functions
Function, : Private ordinary functions
Function, : Private ordinary functions
Function, : Private ordinary functions
Function, : Private ordinary functions
Function, : Private ordinary functions
Function, : Private ordinary functions
Function, : Private ordinary functions
Function, : Private ordinary functions
Function, : Private ordinary functions

G
gen-list: Private ordinary functions
general-validity-p: Private ordinary functions
get-args: Private ordinary functions
get-symbols: Private ordinary functions

H
help-operators: Private ordinary functions

I
infix->prefix: Public ordinary functions
infix->prefix-optimized: Private ordinary functions
init-table: Private ordinary functions
insert-between: Private ordinary functions
int->bool: Private ordinary functions
int->bool-bin-list: Private ordinary functions
int->bool-list: Private ordinary functions

M
Macro, append-to: Private macros
Macro, chars-gate: Private macros
Macro, def: Private macros
Macro, def-dual-infix: Private macros
Macro, def-infix: Private macros
map-recursive: Private ordinary functions
mark: Private ordinary functions
mask-chars: Private ordinary functions
mul-perms: Private ordinary functions
mul-perms-assoc: Private ordinary functions

N
newline: Private ordinary functions
nvars: Private ordinary functions

O
only-two-arg: Private ordinary functions
order: Private ordinary functions
order2: Private ordinary functions

P
pcnf-conjuncts: Private ordinary functions
pcnf-conversion: Private ordinary functions
pdnf-conversion: Private ordinary functions
pdnf-disjuncts: Private ordinary functions
perms-commutativityp: Private ordinary functions
perms-groupp: Private ordinary functions
permute: Private ordinary functions
prefix->infix: Private ordinary functions
print-chars: Private ordinary functions
print-table: Private ordinary functions
print-table2: Private ordinary functions
process: Private ordinary functions

Q
quine-mccluskey: Public ordinary functions

R
rand-permute: Private ordinary functions
random-bool-func: Private ordinary functions
remove-brackets: Private ordinary functions
result-vector: Private ordinary functions
result-vector->anf: Private ordinary functions
result-vector->perfect-cnf: Private ordinary functions
result-vector->perfect-dnf: Private ordinary functions

S
separate-list: Private ordinary functions
separate-tree: Private ordinary functions
strcat: Private ordinary functions
symbol-lessp: Private ordinary functions

T
tautology: Private ordinary functions
truth-table: Private ordinary functions
truth-table-print: Private ordinary functions

Jump to:   -   ¬                    
A   B   C   D   E   F   G   H   I   M   N   O   P   Q   R   S   T  

Previous: , Up: Indexes   [Contents][Index]

A.4 Data types

Jump to:   B   C   D   F   I   O   P   Q   R   S  
Index Entry  Section

B
bool-structs.lisp: The cl-logic/bool-structs․lisp file
boolean-simplify.lisp: The cl-logic/boolean-simplify․lisp file

C
cl-logic: The cl-logic system
cl-logic: The cl-logic package
cl-logic.asd: The cl-logic/cl-logic․asd file
cl-logic.lisp: The cl-logic/cl-logic․lisp file
combinator.lisp: The cl-logic/combinator․lisp file
copying: The cl-logic/copying file

D
def.lisp: The cl-logic/def․lisp file
dual.lisp: The cl-logic/dual․lisp file

F
File, bool-structs.lisp: The cl-logic/bool-structs․lisp file
File, boolean-simplify.lisp: The cl-logic/boolean-simplify․lisp file
File, cl-logic.asd: The cl-logic/cl-logic․asd file
File, cl-logic.lisp: The cl-logic/cl-logic․lisp file
File, combinator.lisp: The cl-logic/combinator․lisp file
File, copying: The cl-logic/copying file
File, def.lisp: The cl-logic/def․lisp file
File, dual.lisp: The cl-logic/dual․lisp file
File, form.lisp: The cl-logic/form․lisp file
File, infix.lisp: The cl-logic/infix․lisp file
File, operators.lisp: The cl-logic/operators․lisp file
File, package.lisp: The cl-logic/package․lisp file
File, package.lisp: The quine-mccluskey/package․lisp file
File, quine-mccluskey.lisp: The quine-mccluskey/quine-mccluskey․lisp file
File, random-bool.lisp: The cl-logic/random-bool․lisp file
File, shortcuts.lisp: The cl-logic/shortcuts․lisp file
form.lisp: The cl-logic/form․lisp file

I
infix.lisp: The cl-logic/infix․lisp file

O
operators.lisp: The cl-logic/operators․lisp file

P
Package, cl-logic: The cl-logic package
Package, quine-mccluskey: The quine-mccluskey package
package.lisp: The cl-logic/package․lisp file
package.lisp: The quine-mccluskey/package․lisp file

Q
quine-mccluskey: The quine-mccluskey system
quine-mccluskey: The quine-mccluskey package
quine-mccluskey.lisp: The quine-mccluskey/quine-mccluskey․lisp file

R
random-bool.lisp: The cl-logic/random-bool․lisp file

S
shortcuts.lisp: The cl-logic/shortcuts․lisp file
System, cl-logic: The cl-logic system
System, quine-mccluskey: The quine-mccluskey system

Jump to:   B   C   D   F   I   O   P   Q   R   S