The cl-logic Reference Manual

Table of Contents

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

The cl-logic Reference Manual

This is the cl-logic Reference Manual, generated automatically by Declt version 2.3 "Robert April" on Tue Jan 09 13:48:24 2018 GMT+0.


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

1 Systems

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


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

1.1 cl-logic

Author

Mikhail Klementyev <jollheef@riseup.net>

License

GNU GPLv3

Description

Boolean algebra package

Dependencies
Source

cl-logic.asd (file)

Components

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

1.2 quine-mccluskey

Maintainer

Ritchie Cai

Author

Ritchie Cai

Description

Quine-McCluskey method implementation

Source

cl-logic.asd (file)

Components

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

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 files   [Contents][Index]

2.1.1 cl-logic.asd

Location

cl-logic.asd

Systems

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

2.1.2 cl-logic/package.lisp

Dependency

copying (file)

Parent

cl-logic (system)

Location

package.lisp

Packages

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

2.1.3 cl-logic/cl-logic.lisp

Dependencies
Parent

cl-logic (system)

Location

cl-logic.lisp

Internal Definitions

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

2.1.4 cl-logic/def.lisp

Dependencies
Parent

cl-logic (system)

Location

def.lisp

Internal Definitions

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

2.1.5 cl-logic/dual.lisp

Dependencies
Parent

cl-logic (system)

Location

dual.lisp

Internal Definitions

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

2.1.6 cl-logic/infix.lisp

Dependencies
Parent

cl-logic (system)

Location

infix.lisp

Exported Definitions

infix->prefix (function)

Internal Definitions

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

2.1.7 cl-logic/operators.lisp

Dependencies
Parent

cl-logic (system)

Location

operators.lisp

Internal Definitions

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

2.1.8 cl-logic/shortcuts.lisp

Dependencies
Parent

cl-logic (system)

Location

shortcuts.lisp

Internal Definitions

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

2.1.9 cl-logic/form.lisp

Dependencies
Parent

cl-logic (system)

Location

form.lisp

Internal Definitions

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

2.1.10 cl-logic/bool-structs.lisp

Dependencies
Parent

cl-logic (system)

Location

bool-structs.lisp

Internal Definitions

describe-boolean-cube (function)


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

2.1.11 cl-logic/boolean-simplify.lisp

Dependencies
Parent

cl-logic (system)

Location

boolean-simplify.lisp

Internal Definitions

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

2.1.12 cl-logic/random-bool.lisp

Dependencies
Parent

cl-logic (system)

Location

random-bool.lisp

Internal Definitions

random-bool-func (function)


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

2.1.13 cl-logic/combinator.lisp

Dependencies
Parent

cl-logic (system)

Location

combinator.lisp

Internal Definitions

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

2.1.14 quine-mccluskey/package.lisp

Parent

quine-mccluskey (system)

Location

package.lisp

Packages

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

2.1.15 quine-mccluskey/quine-mccluskey.lisp

Dependency

package.lisp (file)

Parent

quine-mccluskey (system)

Location

quine-mccluskey.lisp

Exported Definitions

quine-mccluskey (function)

Internal Definitions

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

2.2 Other


Previous: , Up: Other files   [Contents][Index]

2.2.1 cl-logic/COPYING

Parent

cl-logic (system)

Location

COPYING


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

3 Packages

Packages are listed by definition order.


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

3.1 quine-mccluskey

Source

package.lisp (file)

Nickname

qm

Use List

common-lisp

Exported Definitions

quine-mccluskey (function)

Internal Definitions

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

3.2 cl-logic

Source

package.lisp (file)

Use List

common-lisp

Exported Definitions

infix->prefix (function)

Internal Definitions

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

4 Definitions

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


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

4.1 Exported definitions


Previous: , Up: Exported definitions   [Contents][Index]

4.1.1 Functions

Function: infix->prefix INFIX-EXPR &optional SEPARATORS TEST
Package

cl-logic

Source

infix.lisp (file)

Function: quine-mccluskey SAMPLE-STR MINTERMS &key PRINT-FN
Package

quine-mccluskey

Source

quine-mccluskey.lisp (file)


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

4.2 Internal definitions


Next: , Previous: , Up: Internal definitions   [Contents][Index]

4.2.1 Special variables

Special Variable: *mask-fn*
Package

quine-mccluskey

Source

quine-mccluskey.lisp (file)

Special Variable: *separators*

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

Package

cl-logic

Source

infix.lisp (file)

Special Variable: *xor-fn*
Package

quine-mccluskey

Source

quine-mccluskey.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

4.2.2 Macros

Macro: append-to ENTRY &key LIST
Package

quine-mccluskey

Source

quine-mccluskey.lisp (file)

Macro: chars-gate &key INPUTS TABLE
Package

quine-mccluskey

Source

quine-mccluskey.lisp (file)

Macro: def NAME BODY
Package

cl-logic

Source

def.lisp (file)

Macro: def-dual-infix NAME BODY
Package

cl-logic

Source

def.lisp (file)

Macro: def-infix NAME BODY
Package

cl-logic

Source

def.lisp (file)


Previous: , Up: Internal definitions   [Contents][Index]

4.2.3 Functions

Function: ->anf FUNC
Package

cl-logic

Source

form.lisp (file)

Function: ->cnf FUNC
Package

cl-logic

Source

form.lisp (file)

Function: ->dnf FUNC
Package

cl-logic

Source

form.lisp (file)

Function: all-permutations LST &optional REMAIN
Package

cl-logic

Source

combinator.lisp (file)

Function: anf-conversion LIST
Package

cl-logic

Source

form.lisp (file)

Function: anf-disjuncts VECTOR
Package

cl-logic

Source

form.lisp (file)

Function: append-func FUNC LIST
Package

cl-logic

Source

infix.lisp (file)

Function: append-to-length LIST INT OBJ

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

Package

cl-logic

Source

shortcuts.lisp (file)

Function: bool->int BOOL

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

Package

cl-logic

Source

shortcuts.lisp (file)

Function: boolean-list->binary-str LIST
Package

cl-logic

Source

shortcuts.lisp (file)

Function: boolean-simplify FUNCTION
Package

cl-logic

Source

boolean-simplify.lisp (file)

Function: boolean-simplify-raw RESULT-VECTOR
Package

cl-logic

Source

boolean-simplify.lisp (file)

Function: boolean-simplify-vector VECTOR
Package

cl-logic

Source

boolean-simplify.lisp (file)

Function: boolean-table NVARS

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

Package

cl-logic

Source

cl-logic.lisp (file)

Function: boolean-terms VECTOR
Package

cl-logic

Source

boolean-simplify.lisp (file)

Function: char+ CHAR &optional N

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

Package

cl-logic

Source

shortcuts.lisp (file)

Function: convert-raw-list-to-boolean RAW-LIST
Package

cl-logic

Source

boolean-simplify.lisp (file)

Function: convert-raw-string-to-boolean RAW-STRING
Package

cl-logic

Source

boolean-simplify.lisp (file)

Function: count-elem LST E
Package

quine-mccluskey

Source

quine-mccluskey.lisp (file)

Function: describe-boolean-cube N
Package

cl-logic

Source

bool-structs.lisp (file)

Function: dual LISTFUNC
Package

cl-logic

Source

dual.lisp (file)

Function: dual-infix LISTFUNC
Package

cl-logic

Source

dual.lisp (file)

Function: equivalent FUNCTIONS
Package

cl-logic

Source

cl-logic.lisp (file)

Function: gen-list OBJ N

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

Package

cl-logic

Source

shortcuts.lisp (file)

Function: general-validity-p FUNCTION
Package

cl-logic

Source

cl-logic.lisp (file)

Function: get-args LIST
Package

cl-logic

Source

def.lisp (file)

Function: get-symbols LIST
Package

cl-logic

Source

def.lisp (file)

Function: help-operators ()
Package

cl-logic

Source

operators.lisp (file)

Function: infix->prefix-optimized INFIX-EXPR &optional SEPARATORS TEST

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

Package

cl-logic

Source

infix.lisp (file)

Function: init-table TERM-LIST BIN-STR-FMT &key PRINT-FN
Package

quine-mccluskey

Source

quine-mccluskey.lisp (file)

Function: insert-between LST SEP
Package

cl-logic

Source

infix.lisp (file)

Function: int->bool CHAR

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

Package

cl-logic

Source

shortcuts.lisp (file)

Function: int->bool-bin-list N
Package

cl-logic

Source

shortcuts.lisp (file)

Function: int->bool-list INT

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

Package

cl-logic

Source

shortcuts.lisp (file)

Function: map-recursive FUNC LIST
Package

cl-logic

Source

dual.lisp (file)

Function: mark K1-LIST K2-LIST
Package

quine-mccluskey

Source

quine-mccluskey.lisp (file)

Function: mask-chars STR MASK
Package

quine-mccluskey

Source

quine-mccluskey.lisp (file)

Function: mul-perms FLIST SLIST
Package

cl-logic

Source

combinator.lisp (file)

Function: mul-perms-assoc ZLIST VAR
Package

cl-logic

Source

combinator.lisp (file)

Function: newline ()

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

Package

cl-logic

Source

shortcuts.lisp (file)

Function: nvars FUNCTION

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

Package

cl-logic

Source

shortcuts.lisp (file)

Function: only-two-arg PREFIX-EXPRESSION
Package

cl-logic

Source

infix.lisp (file)

Function: order LST
Package

quine-mccluskey

Source

quine-mccluskey.lisp (file)

Function: order2 LST
Package

quine-mccluskey

Source

quine-mccluskey.lisp (file)

Function: pcnf-conjuncts VECTOR
Package

cl-logic

Source

form.lisp (file)

Function: pcnf-conversion LIST
Package

cl-logic

Source

form.lisp (file)

Function: pdnf-conversion LIST
Package

cl-logic

Source

form.lisp (file)

Function: pdnf-disjuncts VECTOR
Package

cl-logic

Source

form.lisp (file)

Function: perms-commutativityp F S
Package

cl-logic

Source

combinator.lisp (file)

Function: perms-groupp LIST
Package

cl-logic

Source

combinator.lisp (file)

Function: permute N
Package

cl-logic

Source

combinator.lisp (file)

Function: prefix->infix PREFIX-EXPR &optional SEPARATORS TEST

Converts a prefix expression to infix

Package

cl-logic

Source

infix.lisp (file)

Function: print-chars N

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

Package

cl-logic

Source

cl-logic.lisp (file)

Function: print-table TABLE
Package

quine-mccluskey

Source

quine-mccluskey.lisp (file)

Function: print-table2 TABLE
Package

quine-mccluskey

Source

quine-mccluskey.lisp (file)

Function: process TABLE &key PRINT-FN
Package

quine-mccluskey

Source

quine-mccluskey.lisp (file)

Function: rand-permute N
Package

cl-logic

Source

combinator.lisp (file)

Function: random-bool-func NVARS &optional FORM
Package

cl-logic

Source

random-bool.lisp (file)

Function: remove-brackets LST

Reduses lists with just one item to the item itself

Package

cl-logic

Source

infix.lisp (file)

Function: result-vector FUNCTION

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

Package

cl-logic

Source

cl-logic.lisp (file)

Function: result-vector->anf VECTOR
Package

cl-logic

Source

form.lisp (file)

Function: result-vector->perfect-cnf VECTOR
Package

cl-logic

Source

form.lisp (file)

Function: result-vector->perfect-dnf VECTOR
Package

cl-logic

Source

form.lisp (file)

Function: separate-list LST SEPARATOR TEST

Returns list of sub-sequences defined by separator

Package

cl-logic

Source

infix.lisp (file)

Function: separate-tree LST SEPARATOR TEST

Apply separate-list on all sublists

Package

cl-logic

Source

infix.lisp (file)

Function: strcat &rest STRINGS
Package

cl-logic

Source

shortcuts.lisp (file)

Function: symbol-lessp SYMBOL1 SYMBOL2
Package

cl-logic

Source

def.lisp (file)

Function: tautology FUNCTIONS
Package

cl-logic

Source

cl-logic.lisp (file)

Function: truth-table FUNCTION

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

Package

cl-logic

Source

cl-logic.lisp (file)

Function: truth-table-print FUNCTION

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

Package

cl-logic

Source

cl-logic.lisp (file)

Function: ¬ P

Инверсия, uac

Package

cl-logic

Source

operators.lisp (file)

Function: P Q

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

Package

cl-logic

Source

operators.lisp (file)

Function: P Q

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

Package

cl-logic

Source

operators.lisp (file)

Function: P Q

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

Package

cl-logic

Source

operators.lisp (file)

Function: P LIST

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

Package

cl-logic

Source

operators.lisp (file)

Function: P LIST

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

Package

cl-logic

Source

operators.lisp (file)

Function: P Q

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

Package

cl-logic

Source

operators.lisp (file)

Function: P Q

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

Package

cl-logic

Source

operators.lisp (file)

Function: P Q

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

Package

cl-logic

Source

operators.lisp (file)

Function: P Q

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

Package

cl-logic

Source

operators.lisp (file)


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

Appendix A Indexes


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

A.1 Concepts

Jump to:   C   F   L   O   Q  
Index Entry  Section

C
cl-logic.asd: The cl-logic<dot>asd file
cl-logic/bool-structs.lisp: The cl-logic/bool-structs<dot>lisp file
cl-logic/boolean-simplify.lisp: The cl-logic/boolean-simplify<dot>lisp file
cl-logic/cl-logic.lisp: The cl-logic/cl-logic<dot>lisp file
cl-logic/combinator.lisp: The cl-logic/combinator<dot>lisp file
cl-logic/COPYING: The cl-logic/copying file
cl-logic/def.lisp: The cl-logic/def<dot>lisp file
cl-logic/dual.lisp: The cl-logic/dual<dot>lisp file
cl-logic/form.lisp: The cl-logic/form<dot>lisp file
cl-logic/infix.lisp: The cl-logic/infix<dot>lisp file
cl-logic/operators.lisp: The cl-logic/operators<dot>lisp file
cl-logic/package.lisp: The cl-logic/package<dot>lisp file
cl-logic/random-bool.lisp: The cl-logic/random-bool<dot>lisp file
cl-logic/shortcuts.lisp: The cl-logic/shortcuts<dot>lisp file

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

L
Lisp File, cl-logic.asd: The cl-logic<dot>asd file
Lisp File, cl-logic/bool-structs.lisp: The cl-logic/bool-structs<dot>lisp file
Lisp File, cl-logic/boolean-simplify.lisp: The cl-logic/boolean-simplify<dot>lisp file
Lisp File, cl-logic/cl-logic.lisp: The cl-logic/cl-logic<dot>lisp file
Lisp File, cl-logic/combinator.lisp: The cl-logic/combinator<dot>lisp file
Lisp File, cl-logic/def.lisp: The cl-logic/def<dot>lisp file
Lisp File, cl-logic/dual.lisp: The cl-logic/dual<dot>lisp file
Lisp File, cl-logic/form.lisp: The cl-logic/form<dot>lisp file
Lisp File, cl-logic/infix.lisp: The cl-logic/infix<dot>lisp file
Lisp File, cl-logic/operators.lisp: The cl-logic/operators<dot>lisp file
Lisp File, cl-logic/package.lisp: The cl-logic/package<dot>lisp file
Lisp File, cl-logic/random-bool.lisp: The cl-logic/random-bool<dot>lisp file
Lisp File, cl-logic/shortcuts.lisp: The cl-logic/shortcuts<dot>lisp file
Lisp File, quine-mccluskey/package.lisp: The quine-mccluskey/package<dot>lisp file
Lisp File, quine-mccluskey/quine-mccluskey.lisp: The quine-mccluskey/quine-mccluskey<dot>lisp file

O
Other File, cl-logic/COPYING: The cl-logic/copying file

Q
quine-mccluskey/package.lisp: The quine-mccluskey/package<dot>lisp file
quine-mccluskey/quine-mccluskey.lisp: The quine-mccluskey/quine-mccluskey<dot>lisp file

Jump to:   C   F   L   O   Q  

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: Internal functions
->cnf: Internal functions
->dnf: Internal functions

¬
¬: Internal functions

: Internal functions

: Internal functions

: Internal functions

: Internal functions

: Internal functions

: Internal functions

: Internal functions

: Internal functions

: Internal functions

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

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

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

D
def: Internal macros
def-dual-infix: Internal macros
def-infix: Internal macros
describe-boolean-cube: Internal functions
dual: Internal functions
dual-infix: Internal functions

E
equivalent: Internal functions

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

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

H
help-operators: Internal functions

I
infix->prefix: Exported functions
infix->prefix-optimized: Internal functions
init-table: Internal functions
insert-between: Internal functions
int->bool: Internal functions
int->bool-bin-list: Internal functions
int->bool-list: Internal functions

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

N
newline: Internal functions
nvars: Internal functions

O
only-two-arg: Internal functions
order: Internal functions
order2: Internal functions

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

Q
quine-mccluskey: Exported functions

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

S
separate-list: Internal functions
separate-tree: Internal functions
strcat: Internal functions
symbol-lessp: Internal functions

T
tautology: Internal functions
truth-table: Internal functions
truth-table-print: Internal functions

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

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

A.3 Variables

Jump to:   *  
S  
Index Entry  Section

*
*mask-fn*: Internal special variables
*separators*: Internal special variables
*xor-fn*: Internal special variables

S
Special Variable, *mask-fn*: Internal special variables
Special Variable, *separators*: Internal special variables
Special Variable, *xor-fn*: Internal special variables

Jump to:   *  
S  

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

A.4 Data types

Jump to:   C   P   Q   S  
Index Entry  Section

C
cl-logic: The cl-logic system
cl-logic: The cl-logic package

P
Package, cl-logic: The cl-logic package
Package, quine-mccluskey: The quine-mccluskey package

Q
quine-mccluskey: The quine-mccluskey system
quine-mccluskey: The quine-mccluskey package

S
System, cl-logic: The cl-logic system
System, quine-mccluskey: The quine-mccluskey system

Jump to:   C   P   Q   S