riscv
/
alliance
mirror of https://gitlab.lip6.fr/vlsi-eda/alliance.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Correct spelling errors (courtesy of klemens/ka7).

This commit is contained in:
Jean-Paul Chaput 2016-05-06 17:02:13 +02:00
parent d61700ab9f
commit d8c05cd022
657 changed files with 2431 additions and 1834 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
alliance/src/.asim
View File

@ -1,7 +1,7 @@
#!/bin/sh #!/bin/sh
# #
# This file is used to remove experimental tools from a complete # This file is used to remove experimental tools from a complete
# cvs checkout of the alliance cvs tree. It should be lauched # cvs checkout of the alliance cvs tree. It should be launched
# in the same directory where you did the `cvs co alliance' # in the same directory where you did the `cvs co alliance'
# #
# $Id: .asim,v 1.10 2003/11/27 15:17:44 xtof Exp $ # $Id: .asim,v 1.10 2003/11/27 15:17:44 xtof Exp $

4
alliance/src/README
View File

@ -38,7 +38,7 @@ Alliance naming scheme:
- sources: alliance-XXX-YYY.tar.gz - sources: alliance-XXX-YYY.tar.gz
where: where:
XXX = Alliance version number. eg 5.0 XXX = Alliance version number. eg 5.0
YYY = Alliance release number, wich is the date of the build. eg 20020624 YYY = Alliance release number, which is the date of the build. eg 20020624
- binaries: alliance-XXX-YYY-ZZZ.KKK - binaries: alliance-XXX-YYY-ZZZ.KKK
where: where:
@ -144,7 +144,7 @@ This explains how to proceed from the Alliance CVS tree.
> cvs update -d -P > cvs update -d -P
2/ Remove some directories from the Alliance tree. These directories 2/ Remove some directories from the Alliance tree. These directories
contain tools that may be helpfull but are not maintained anymore, contain tools that may be helpful but are not maintained anymore,
so they will likely not compile. so they will likely not compile.
Assuming Alliance sources reside in "~fred/alliance", do: Assuming Alliance sources reside in "~fred/alliance", do:
> cd src > cd src

2
alliance/src/README.macosx
View File

@ -19,7 +19,7 @@ This file discuss about installation of Alliance on Mac OS X machines.
=================================================================== ===================================================================
Alliance has been succesfully build on Mac OS X.2 (Jaguar) and Mac OS X.3 (Panther) Alliance has been successfully build on Mac OS X.2 (Jaguar) and Mac OS X.3 (Panther)
This is what is needed to build ALLIANCE: This is what is needed to build ALLIANCE:
* get the developer tools. * get the developer tools.
( install XCode, this will install gcc 3.3) ( install XCode, this will install gcc 3.3)

2
alliance/src/abl/man1/abl.1
View File

@ -6,7 +6,7 @@
\fBabl\fP \- Prefixed representation for boolean functions \fBabl\fP \- Prefixed representation for boolean functions
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH DESCRIPTION .SH DESCRIPTION
\fIlibablmmm.a\fP is a library that enables to represent a boolean function in a LISP-like form. An ABL is a prefixed internal representation for a boolean function having standard operators as OR,NOR,NAND,XOR,NOT and AND. An ABL is only made up of doublets. A doublet is composed of two fields wich are accessible by the functionnal \fI#define\fP \fICAR\fP and \fICDR\fP. A doublet is implemented with a MBK \fIchain_list\fP. \fIlibablmmm.a\fP is a library that enables to represent a boolean function in a LISP-like form. An ABL is a prefixed internal representation for a boolean function having standard operators as OR,NOR,NAND,XOR,NOT and AND. An ABL is only made up of doublets. A doublet is composed of two fields which are accessible by the functionnal \fI#define\fP \fICAR\fP and \fICDR\fP. A doublet is implemented with a MBK \fIchain_list\fP.
.br .br
\fIExpression\fP is the generic term for a boolean function represented by an ABL. An expression can be an atomic expression or an operator expression. The function \fBf = a\fP is represented by an atomic expression whereas \fBf = (or a b)\fP is represented by an operator expression. An atomic expression is made up of a single doublet having the \fINEXT\fP pointer equal to NULL and \fIDATA\fP pointer equal to the identifier pointer. A constant atomic expression is an atomic expression having the string "'0'" or "'1'" as identifier. \fIExpression\fP is the generic term for a boolean function represented by an ABL. An expression can be an atomic expression or an operator expression. The function \fBf = a\fP is represented by an atomic expression whereas \fBf = (or a b)\fP is represented by an operator expression. An atomic expression is made up of a single doublet having the \fINEXT\fP pointer equal to NULL and \fIDATA\fP pointer equal to the identifier pointer. A constant atomic expression is an atomic expression having the string "'0'" or "'1'" as identifier.
.br .br

2
alliance/src/abl/man3/addablhexpr.3
View File

@ -5,7 +5,7 @@
addablhexpr \- adds a new argument in head of an expression. addablhexpr \- adds a new argument in head of an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/addablqexpr.3
View File

@ -5,7 +5,7 @@
addablqexpr \- adds a new argument in queue of an expression. addablqexpr \- adds a new argument in queue of an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/createablatom.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
createablatom \- creates an atomic expression. createablatom \- creates an atomic expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/createablbinexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
createablbinexpr \- creates a binary operator expression. createablbinexpr \- creates a binary operator expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/createablnotexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
createablnotexpr \- complements an expression. createablnotexpr \- complements an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/createabloper.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
createabloper \- creates the head of an operator expression. createabloper \- creates the head of an operator expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/createablunaryexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
createablunaryexpr \- creates an unary operator expression. createablunaryexpr \- creates an unary operator expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/createablxorbinexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
createablxorbinexpr \- creates an 'xor' or 'xnor' operator expression. createablxorbinexpr \- creates an 'xor' or 'xnor' operator expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/delablexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
delablexpr \- deletes an expression. delablexpr \- deletes an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/delablexprnum.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
delablexprnum \- deletes an operand in an expression. delablexprnum \- deletes an operand in an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/devablxorexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
devablxorexpr \- develops 'xor', 'nxor' in an expression. devablxorexpr \- develops 'xor', 'nxor' in an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/devdupablxorexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
devdupablxorexpr \- duplicates and develops 'xor', 'nxor'. devdupablxorexpr \- duplicates and develops 'xor', 'nxor'.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/dupablexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
dupablexpr \- duplicates an expression. dupablexpr \- duplicates an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/flatablexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
flatablexpr \- merges the operators of an expression flatablexpr \- merges the operators of an expression
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/freeablexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
freeablexpr \- frees an expression. freeablexpr \- frees an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/getablexprdepth.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
getablexprdepth \- gives the depth of an expression. getablexprdepth \- gives the depth of an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/getablexprlength.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
getablexprlength \- gives the length of an expression. getablexprlength \- gives the length of an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/getablexprmax.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
getablexprmax \- applies a function to all operands. getablexprmax \- applies a function to all operands.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/getablexprmin.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
getablexprmin \- applies a function to all operands. getablexprmin \- applies a function to all operands.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/getablexprnum.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
getablexprnum \- gives a specified operand of an expression. getablexprnum \- gives a specified operand of an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/getablexprnumatom.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
getablexprnumatom \- gives the number of atom in an expression. getablexprnumatom \- gives the number of atom in an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/getablexprnumbinoper.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
getablexprnumbinoper \- gives the number of binary operators in an expression. getablexprnumbinoper \- gives the number of binary operators in an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

6
alliance/src/abl/man3/getablexprnumocc.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
getablexprnumocc \- how many times a name appears in an expression. getablexprnumocc \- how many times a name appears in an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}
@ -24,10 +24,10 @@ Expression.
\fIName\fP \fIName\fP
Name to find. Name to find.
.SH DESCRIPTION .SH DESCRIPTION
\fBgetablexprnumocc\fP gives the number of occurents of \fIName\fP in \fIExpr\fP. \fBgetablexprnumocc\fP gives the number of occurrents of \fIName\fP in \fIExpr\fP.
.br .br
.SH RETURN VALUE .SH RETURN VALUE
\fBgetablexprnumocc\fP returns number of occurents of \fIName\fP in \fIExpr\fP. \fBgetablexprnumocc\fP returns number of occurrents of \fIName\fP in \fIExpr\fP.
.SH EXAMPLE .SH EXAMPLE
.ta 3n 6n 9n 12n 15n 18n 21n .ta 3n 6n 9n 12n 15n 18n 21n
.nf .nf

2
alliance/src/abl/man3/getablexprsupport.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
getablexprsupport \- gives the expression's support. getablexprsupport \- gives the expression's support.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/isablbinaryoper.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
isablbinaryoper \- tests if an operator is binary. isablbinaryoper \- tests if an operator is binary.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/isablequalexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
isablequalexpr \- tests if two expressions are strictly identicals. isablequalexpr \- tests if two expressions are strictly identicals.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/isablnameinexpr.3
View File

@ -4,7 +4,7 @@
.SH OPER .SH OPER
isablnameinexpr \- tests if a name appears in an expression. isablnameinexpr \- tests if a name appears in an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/isabloperinexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
isabloperinexpr \- tests if an operator appears in an expression. isabloperinexpr \- tests if an operator appears in an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/isablsimilarexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
isablsimilarexpr \- tests if two expressions have the same morphology. isablsimilarexpr \- tests if two expressions have the same morphology.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/isablunaryoper.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
isablunaryoper \- tests if an operator is unary. isablunaryoper \- tests if an operator is unary.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/mapablanyexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
mapablanyexpr \- applies a function to all operands. mapablanyexpr \- applies a function to all operands.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/mapableveryexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
mapableveryexpr \- applies a function to all operands. mapableveryexpr \- applies a function to all operands.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/mapablexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
mapablexpr \- applies a function to all operands. mapablexpr \- applies a function to all operands.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/mapabloperexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
mapabloperexpr \- applies a function to all operands. mapabloperexpr \- applies a function to all operands.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/polarablexpr.3
View File

@ -5,7 +5,7 @@
polarablexpr \- moves inverters to the atomic level. polarablexpr \- moves inverters to the atomic level.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/polardupablexpr.3
View File

@ -5,7 +5,7 @@
polardupablexpr \- duplicates an expression and moves down the inverters. polardupablexpr \- duplicates an expression and moves down the inverters.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/simpablexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
simpablexpr \- simplies an expression. simpablexpr \- simplies an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/simpdupablexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
simpdupablexpr \- duplicates and simplies an expression. simpdupablexpr \- duplicates and simplies an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/substablexpr.3
View File

@ -5,7 +5,7 @@
substablexpr \- substitutes a given atom by an expression. substablexpr \- substitutes a given atom by an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/substdupablexpr.3
View File

@ -5,7 +5,7 @@
substdupablexpr \- substitutes a given atom by an expression. substdupablexpr \- substitutes a given atom by an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/unflatablexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
unflatablexpr \- unflats the operators of an expression unflatablexpr \- unflats the operators of an expression
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/vhdlablname.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
vhdlablname \- returns a compatible VHDL name. vhdlablname \- returns a compatible VHDL name.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/vhdlablvector.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
vhdlablvector \- gives the index and the name of a vectorized name. vhdlablvector \- gives the index and the name of a vectorized name.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/viewablexpr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
viewablexpr \- displays an expression. viewablexpr \- displays an expression.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/viewablexprfile.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
viewablexprfile \- displays an expression in a file. viewablexprfile \- displays an expression in a file.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/abl/man3/viewablexprstr.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
viewablexprstr \- displays an expression in a str. viewablexprstr \- displays an expression in a str.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

4
alliance/src/abt/src/bhl_depend.c
View File

@ -249,7 +249,7 @@ struct befig *pt_fig;
} }
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* process simple ouputs. */ /* process simple outputs. */
/* check that the signal does not already belong to the */ /* check that the signal does not already belong to the */
/* dependency list before adding it to the list */ /* dependency list before adding it to the list */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
@ -272,7 +272,7 @@ struct befig *pt_fig;
} }
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* process bussed ouputs. */ /* process bussed outputs. */
/* check that the signal does not already belong to the */ /* check that the signal does not already belong to the */
/* dependency list before adding it to the list */ /* dependency list before adding it to the list */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */

2
alliance/src/alcban/man1/alcbanner.1
View File

@ -85,7 +85,7 @@ will display :
.SH DIAGNOSTICS .SH DIAGNOSTICS
The output is centered for a 80 columns screen, so it can be used on most The output is centered for a 80 columns screen, so it can be used on most
display easilly, and not found at execution time. display easily, and not found at execution time.
\f4alliancebanner: Error: Resulting size bigger than 80 columns not allowed\fR \f4alliancebanner: Error: Resulting size bigger than 80 columns not allowed\fR
.RS .RS

8
alliance/src/asimut/man1/asimut.1
View File

@ -51,7 +51,7 @@ list of directories containing description and pattern files (using $PATH
syntax). The default path is the current directory (see mbk(1)). syntax). The default path is the current directory (see mbk(1)).
.TP 20 .TP 20
\fIMBK_WORK_LIB\fP \fIMBK_WORK_LIB\fP
specifies the current working directory. The working directory idicates the specifies the current working directory. The working directory indicates the
place where all output files are written. place where all output files are written.
.TP 20 .TP 20
\fIMBK_CATAL_NAME\fP \fIMBK_CATAL_NAME\fP
@ -75,7 +75,7 @@ The default file extension is \fBdly\fP.
.TP 20 .TP 20
\fIVH_MAXERR\fP \fIVH_MAXERR\fP
maximum number of errors allowed during simulation phase. If the number of maximum number of errors allowed during simulation phase. If the number of
errors occured during simulation reaches VH_MAXERR, \fBasimut\fP stops errors occurred during simulation reaches VH_MAXERR, \fBasimut\fP stops
the simulation at the end of processing the current pattern. Patterns following the simulation at the end of processing the current pattern. Patterns following
the current pattern remain unprocessed and are reproduced in the result file. the current pattern remain unprocessed and are reproduced in the result file.
The default value of \fIVH_MAXERR\fP is 10. The default value of \fIVH_MAXERR\fP is 10.
@ -126,7 +126,7 @@ be used as initialization file in a further session. If the \fI\-nores\fP
option is specified a pattern file is also produced. option is specified a pattern file is also produced.
.TP 20 .TP 20
\fI\-dbg[sbpldc]\fP \fI\-dbg[sbpldc]\fP
call the debugger (developper usage) call the debugger (developer usage)
.TP 20 .TP 20
\fI\-defaultdelay (\-dd)\fP \fI\-defaultdelay (\-dd)\fP
only null delays (no after clause in the VHDL file) are changed if only null delays (no after clause in the VHDL file) are changed if
@ -166,7 +166,7 @@ for \fIn\fP is 0 which makes the whole pattern
file be loaded. file be loaded.
.TP 20 .TP 20
\fI\-t\fP \fI\-t\fP
trace signals when making BDDs (developper usage). trace signals when making BDDs (developer usage).
.TP 20 .TP 20
\fI\-transport\fP \fI\-transport\fP
use transport delay model (default is inertial). use transport delay model (default is inertial).

2
alliance/src/asimut/src/c_fsyn_sr1k_1.c
View File

@ -108,7 +108,7 @@ struct lkdins *pt_lkdins;
{ {
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* read the content of the ram and write the result into the */ /* read the content of the ram and write the result into the */
/* projected value of ouput data */ /* projected value of output data */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
if (oe == 1) if (oe == 1)

2
alliance/src/asimut/src/c_fsyn_sr1k_10.c
View File

@ -108,7 +108,7 @@ struct lkdins *pt_lkdins;
{ {
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* read the content of the ram and write the result into the */ /* read the content of the ram and write the result into the */
/* projected value of ouput data */ /* projected value of output data */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
if (oe == 1) if (oe == 1)

2
alliance/src/asimut/src/c_fsyn_sr1k_24.c
View File

@ -108,7 +108,7 @@ struct lkdins *pt_lkdins;
{ {
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* read the content of the ram and write the result into the */ /* read the content of the ram and write the result into the */
/* projected value of ouput data */ /* projected value of output data */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
if (oe == 1) if (oe == 1)

2
alliance/src/asimut/src/c_fsyn_sr1k_4.c
View File

@ -108,7 +108,7 @@ struct lkdins *pt_lkdins;
{ {
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* read the content of the ram and write the result into the */ /* read the content of the ram and write the result into the */
/* projected value of ouput data */ /* projected value of output data */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
if (oe == 1) if (oe == 1)

2
alliance/src/asimut/src/c_fsyn_sr1k_56.c
View File

@ -118,7 +118,7 @@ struct lkdins *pt_lkdins;
{ {
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* read the content of the ram and write the result into the */ /* read the content of the ram and write the result into the */
/* projected value of ouput data */ /* projected value of output data */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
dh_out = local->HI_RAM [adr]; dh_out = local->HI_RAM [adr];

2
alliance/src/asimut/src/c_fsyn_sr4k_10.c
View File

@ -108,7 +108,7 @@ struct lkdins *pt_lkdins;
{ {
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* read the content of the ram and write the result into the */ /* read the content of the ram and write the result into the */
/* projected value of ouput data */ /* projected value of output data */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
if (oe == 1) if (oe == 1)

2
alliance/src/asimut/src/c_hada_repondeur.c
View File

@ -142,7 +142,7 @@ struct lkdins *pt_lkdins;
if ((full_old == 0) && (write == 1) && (nb_sorties != 0)) if ((full_old == 0) && (write == 1) && (nb_sorties != 0))
{ {
fprintf(stderr,"NEW OUPUT FIFO VALUE : %d\n", hadout); fprintf(stderr,"NEW OUTPUT FIFO VALUE : %d\n", hadout);
fprintf(fecrire,"0x%x\t",hadout); fprintf(fecrire,"0x%x\t",hadout);
nb_sorties--; nb_sorties--;
if ( (nb_sorties%8) == 0 ) fprintf(fecrire,"\n"); if ( (nb_sorties%8) == 0 ) fprintf(fecrire,"\n");

2
alliance/src/asimut/src/c_sr1k_8a.c
View File

@ -94,7 +94,7 @@ struct lkdins *pt_lkdins;
} }
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* write the result into the projected value of ouput signals */ /* write the result into the projected value of output signals */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
if ((e_n == 0) && (w_n == 1)) if ((e_n == 0) && (w_n == 1))

2
alliance/src/asimut/src/c_sr1k_8b.c
View File

@ -255,7 +255,7 @@ struct lkdins *pt_lkdins;
} }
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* write the result into the projected value of ouput signals */ /* write the result into the projected value of output signals */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
if ((e_n == 0) && (w_n == 1)) if ((e_n == 0) && (w_n == 1))

2
alliance/src/asimut/src/c_sr8k_8a.c
View File

@ -94,7 +94,7 @@ struct lkdins *pt_lkdins;
} }
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* write the result into the projected value of ouput signals */ /* write the result into the projected value of output signals */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
if ((e_n == 0) && (w_n == 1)) if ((e_n == 0) && (w_n == 1))

4
alliance/src/asimut/src/sch_debug.c
View File

@ -283,7 +283,7 @@ char **str ; /* recognized strings */
/* function : splitline */ /* function : splitline */
/* description : read a line (the space must have been reserved by the */ /* description : read a line (the space must have been reserved by the */
/* caller - *words) from the standard input and split it */ /* caller - *words) from the standard input and split it */
/* into seperate words. Return the number of words read. */ /* into separate words. Return the number of words read. */
/* called func. : none */ /* called func. : none */
/* ###--------------------------------------------------------------### */ /* ###--------------------------------------------------------------### */
@ -599,7 +599,7 @@ char *type; /* structure's type */
{ {
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* if the first word of the line has not been recognized, */ /* if the first word of the line has not been recognized, */
/* print an error message. Otherwise, proccess the command line */ /* print an error message. Otherwise, process the command line */
/* (generally it is a request for displaying a specific field). */ /* (generally it is a request for displaying a specific field). */
/* */ /* */
/* At this point : */ /* At this point : */

4
alliance/src/asimut/src/vh_debug.c
View File

@ -1319,7 +1319,7 @@ char **str ; /* recognized strings */
/* function : splitline */ /* function : splitline */
/* description : read a line (the space must have been reserved by the */ /* description : read a line (the space must have been reserved by the */
/* caller - *words) from the standard input and split it */ /* caller - *words) from the standard input and split it */
/* into seperate words. Return the number of words read. */ /* into separate words. Return the number of words read. */
/* called func. : none */ /* called func. : none */
/* ###--------------------------------------------------------------### */ /* ###--------------------------------------------------------------### */
@ -1711,7 +1711,7 @@ char *type; /* structure's type */
{ {
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* if the first word of the line has not been recognized, */ /* if the first word of the line has not been recognized, */
/* print an error message. Otherwise, proccess the command line */ /* print an error message. Otherwise, process the command line */
/* (generally it is a request for displaying a specific field). */ /* (generally it is a request for displaying a specific field). */
/* */ /* */
/* At this point : */ /* At this point : */

2
alliance/src/asimut/src/vh_init.h
View File

@ -5,7 +5,7 @@
/* date : Jan 11 2014 */ /* date : Jan 11 2014 */
/* version : v3.0 */ /* version : v3.0 */
/* authors : J.-P. CHAPUT , P. BAZARGAN */ /* authors : J.-P. CHAPUT , P. BAZARGAN */
/* content : contains defines, external variables and funtions */ /* content : contains defines, external variables and functions */
/* used by init functions */ /* used by init functions */
/* ###--------------------------------------------------------------### */ /* ###--------------------------------------------------------------### */

6
alliance/src/asimut/src/vh_lspec.c
View File

@ -1341,10 +1341,10 @@ struct paseq *pt_paseq;
/* description : restore the mode of external ports of the description */ /* description : restore the mode of external ports of the description */
/* when the declared mode is LINKAGE. */ /* when the declared mode is LINKAGE. */
/* */ /* */
/* First, it restores (if necessary) the informations on */ /* First, it restores (if necessary) the information on */
/* internal ports checking the consistency between the */ /* internal ports checking the consistency between the */
/* model and the instance. Then, it propagates restored */ /* model and the instance. Then, it propagates restored */
/* informations through the signals til the external */ /* information through the signals til the external */
/* ports. In the final step it checks the consistency of */ /* ports. In the final step it checks the consistency of */
/* connexions on the signals */ /* connexions on the signals */
/* called funct : beh_initab , beh_chktab, beh_addtab, beh_fretab, */ /* called funct : beh_initab , beh_chktab, beh_addtab, beh_fretab, */
@ -1800,7 +1800,7 @@ struct befig *head_befig;
/* ###--------------------------------------------------------------### */ /* ###--------------------------------------------------------------### */
/* function : vhl_getref */ /* function : vhl_getref */
/* description : get signal refernces for a distributed simulation */ /* description : get signal references for a distributed simulation */
/* called func. : beh_chktab, */ /* called func. : beh_chktab, */
/* ###--------------------------------------------------------------### */ /* ###--------------------------------------------------------------### */

2
alliance/src/asimut/src/vh_lspec.h
View File

@ -4,7 +4,7 @@
/* date : Aug 20 1997 */ /* date : Aug 20 1997 */
/* version : v3.0 */ /* version : v3.0 */
/* authors : VUONG H.N., Pirouz BAZARGAN SABET */ /* authors : VUONG H.N., Pirouz BAZARGAN SABET */
/* content : contains defines, external variables and funtions used*/ /* content : contains defines, external variables and functions used*/
/* by the linker */ /* by the linker */
/* ###--------------------------------------------------------------### */ /* ###--------------------------------------------------------------### */

4
alliance/src/asimut/src/vh_simulad.c
View File

@ -268,7 +268,7 @@ char *argv[];
arg_flg [i+1] = 1; arg_flg [i+1] = 1;
} }
/* The spy option has been supressed (09 Sep 1999). */ /* The spy option has been suppressed (09 Sep 1999). */
/* Spied signals are now specified in the pattern file. */ /* Spied signals are now specified in the pattern file. */
/*--------------- /*---------------
@ -887,7 +887,7 @@ char *argv[];
lst_papat = vhx_insertspypat (pt_paseq, lst_papat, pt_lkdspy, cur_date, labelsiz); lst_papat = vhx_insertspypat (pt_paseq, lst_papat, pt_lkdspy, cur_date, labelsiz);
} }
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* If a fatal error has been occured during the simulation */ /* If a fatal error has been occurred during the simulation */
/* (Assert Violation, Bus conflict), set the end flag of the */ /* (Assert Violation, Bus conflict), set the end flag of the */
/* pattern sequence to avoid loading new patterns and break the */ /* pattern sequence to avoid loading new patterns and break the */
/* simulation cycle */ /* simulation cycle */

2
alliance/src/asimut/src/vh_util.h
View File

@ -4,7 +4,7 @@
/* date : Nov 13 1995 */ /* date : Nov 13 1995 */
/* version : v3.0 */ /* version : v3.0 */
/* authors : VUONG H.N., L.A. TABUSSE, P. BAZARGAN */ /* authors : VUONG H.N., L.A. TABUSSE, P. BAZARGAN */
/* content : contains defines, external variables and funtions used*/ /* content : contains defines, external variables and functions used*/
/* by utility functions */ /* by utility functions */
/* ###--------------------------------------------------------------### */ /* ###--------------------------------------------------------------### */

12
alliance/src/asimut/src/vh_xcomm.c
View File

@ -1132,7 +1132,7 @@ struct papat *pt_papat;
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* if no user predicted event has been found and an event has */ /* if no user predicted event has been found and an event has */
/* been occured, add a new paevt structure to the pattern. Use */ /* been occurred, add a new paevt structure to the pattern. Use */
/* a wrong value (the previous value) as user defined value. */ /* a wrong value (the previous value) as user defined value. */
/* Remember that a user predicted '?*' is always an event. */ /* Remember that a user predicted '?*' is always an event. */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
@ -1168,7 +1168,7 @@ struct papat *pt_papat;
/* if there is an event related to the input-output, and if */ /* if there is an event related to the input-output, and if */
/* the value predicted by the user and the simulated value do */ /* the value predicted by the user and the simulated value do */
/* not match print out an error message. In such a case add an */ /* not match print out an error message. In such a case add an */
/* event on the same input-ouput with a wrong predicted value */ /* event on the same input-output with a wrong predicted value */
/* to the next pattern (if it exists). */ /* to the next pattern (if it exists). */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
@ -1224,7 +1224,7 @@ struct papat *pt_papat;
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* If an error occurs, and if no user event is scheduled in the */ /* If an error occurs, and if no user event is scheduled in the */
/* next pattern, add an event on the same input-ouput with a */ /* next pattern, add an event on the same input-output with a */
/* wrong predicted value to the next pattern (if it exists). */ /* wrong predicted value to the next pattern (if it exists). */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
@ -1407,9 +1407,9 @@ unsigned int labelsiz;
} }
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* if an event has been occured, switch ON a spy_flag. */ /* if an event has been occurred, switch ON a spy_flag. */
/* and append the paiol IOLNBR to the label. */ /* and append the paiol IOLNBR to the label. */
/* if an event has been occured, add a new paevt structure. */ /* if an event has been occurred, add a new paevt structure. */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
if (pt_paiol->VALUE != value) if (pt_paiol->VALUE != value)
@ -1507,7 +1507,7 @@ unsigned int labelsiz;
} }
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* if an event has been occured, add a new paevt structure. */ /* if an event has been occurred, add a new paevt structure. */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
if (pt_paiol->VALUE != value) if (pt_paiol->VALUE != value)

6
alliance/src/asimut/src/vh_xspec.c
View File

@ -902,7 +902,7 @@ unsigned int cur_date;
VHX_SIGUPD = NULL; VHX_SIGUPD = NULL;
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* update bused signals' value (also handles errors occured */ /* update bused signals' value (also handles errors occurred */
/* when resolution functions are called) */ /* when resolution functions are called) */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
@ -971,7 +971,7 @@ unsigned int cur_date;
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* update internal bussed signals's value (also handles */ /* update internal bussed signals's value (also handles */
/* errors occured when resolution functions are called) */ /* errors occurred when resolution functions are called) */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
cur_chain = VHX_BUXUPD; cur_chain = VHX_BUXUPD;
@ -1037,7 +1037,7 @@ unsigned int cur_date;
VHX_BUXUPD = NULL; VHX_BUXUPD = NULL;
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */
/* updating registers (also handles errors occured when */ /* updating registers (also handles errors occurred when */
/* resolution functions are called) */ /* resolution functions are called) */
/* ###------------------------------------------------------### */ /* ###------------------------------------------------------### */

4
alliance/src/attila/doc/attila/man_attila.html
View File

@ -188,7 +188,7 @@ CLASS="LITERAL"
your <TT your <TT
CLASS="LITERAL" CLASS="LITERAL"
>~/.rhosts</TT >~/.rhosts</TT
> to access them whithout > to access them without
passwords. You also can uses <TT passwords. You also can uses <TT
CLASS="LITERAL" CLASS="LITERAL"
>ssh</TT >ssh</TT
@ -758,7 +758,7 @@ CLASS="USERINPUT"
CLASS="USERINPUT" CLASS="USERINPUT"
>install</KBD >install</KBD
> is > is
assumed. If you want to completly uninstall a tool and clean assumed. If you want to completely uninstall a tool and clean
it's build directory you can pass it's build directory you can pass
<KBD <KBD
CLASS="USERINPUT" CLASS="USERINPUT"

4
alliance/src/attila/doc/man1/attila.1
View File

@ -33,7 +33,7 @@ attila will fork itself on one Linux
computer (currently bip) and on one Solaris computer (currently bip) and on one Solaris
computer (beny). As to connect on thoses computer (beny). As to connect on thoses
computer it will uses rsh so you must setup computer it will uses rsh so you must setup
your ~/.rhosts to access them whithout your ~/.rhosts to access them without
passwords. You also can uses ssh (but the passwords. You also can uses ssh (but the
procedure to allow automatic login is more complicated). procedure to allow automatic login is more complicated).
.IP 3. .IP 3.
@ -197,7 +197,7 @@ all arguments following \fB-m-\fR are passed
\fBas is\fR to the subsequent call to \fBas is\fR to the subsequent call to
make. If no \fB-m-\fR make. If no \fB-m-\fR
argument is given, then \fBinstall\fR is argument is given, then \fBinstall\fR is
assumed. If you want to completly uninstall a tool and clean assumed. If you want to completely uninstall a tool and clean
it's build directory you can pass it's build directory you can pass
\fBuninstall clean\fR \fBuninstall clean\fR
.PP .PP

4
alliance/src/attila/doc/man_attila.sgm
View File

@ -68,7 +68,7 @@
computer (currently <literal>bip</literal>) and on one Solaris computer (currently <literal>bip</literal>) and on one Solaris
computer (<literal>beny</literal>). As to connect on thoses computer (<literal>beny</literal>). As to connect on thoses
computer it will uses <literal>rsh</literal> so you must setup computer it will uses <literal>rsh</literal> so you must setup
your <literal>~/.rhosts</literal> to access them whithout your <literal>~/.rhosts</literal> to access them without
passwords. You also can uses <literal>ssh</literal> (but the passwords. You also can uses <literal>ssh</literal> (but the
procedure to allow automatic login is more complicated). procedure to allow automatic login is more complicated).
</para> </para>
@ -285,7 +285,7 @@
<emphasis>as is</emphasis> to the subsequent call to <emphasis>as is</emphasis> to the subsequent call to
<literal>make</literal>. If no <userinput>-m-</userinput> <literal>make</literal>. If no <userinput>-m-</userinput>
argument is given, then <userinput>install</userinput> is argument is given, then <userinput>install</userinput> is
assumed. If you want to completly uninstall a tool and clean assumed. If you want to completely uninstall a tool and clean
it's build directory you can pass it's build directory you can pass
<userinput>uninstall clean</userinput> <userinput>uninstall clean</userinput>
</para> </para>

2
alliance/src/aut/man3/autallocblock.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
autallocblock \- memory allocator autallocblock \- memory allocator
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/aut/man3/autallocheap.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
autallocheap \- heap memory allocator autallocheap \- heap memory allocator
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/aut/man3/autfreeblock.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
autfreeblock \- releases a memory block autfreeblock \- releases a memory block
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/aut/man3/autfreeheap.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
autfreeheap \- releases a memory block, and put it on the heap. autfreeheap \- releases a memory block, and put it on the heap.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/aut/man3/autresizeblock.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
autresizeblock \- resizes a memory block autresizeblock \- resizes a memory block
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

4
alliance/src/bdd/man1/bdd.1
View File

@ -121,10 +121,10 @@ as a Multi Reduced Ordered Binary Decision Diagrams.
\- converts a \fBbdd\fP node to an \fBabl\fP. \- converts a \fBbdd\fP node to an \fBabl\fP.
.TP .TP
\fBexistbddnodeassocon\fP \fBexistbddnodeassocon\fP
\- computes an existantial quantification. \- computes an existential quantification.
.TP .TP
\fBexistbddnodeassocoff\fP \fBexistbddnodeassocoff\fP
\- computes an existantial quantification. \- computes an existential quantification.
.TP .TP
\fBgarbagebddsystem\fP \fBgarbagebddsystem\fP
\- forces a \fBbdd\fP garbage collection. \- forces a \fBbdd\fP garbage collection.

2
alliance/src/bdd/man3/addbddassoc.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
addbddassoc \- creates a new association variables. addbddassoc \- creates a new association variables.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/addbddcircuitabl.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
addbddcircuitabl \- converts an \fBabl\fP expression to a \fBbdd\fP node. addbddcircuitabl \- converts an \fBabl\fP expression to a \fBbdd\fP node.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/addbddcircuitin.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
addbddcircuitin \- adds an input in a \fBbdd\fP circuit. addbddcircuitin \- adds an input in a \fBbdd\fP circuit.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/addbddcircuitout.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
addbddcircuitout \- adds an output in a \fBbdd\fP circuit. addbddcircuitout \- adds an output in a \fBbdd\fP circuit.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/addbddnode.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
addbddnode \- adds a new \fBbdd\fP node in the \fBbdd\fP system. addbddnode \- adds a new \fBbdd\fP node in the \fBbdd\fP system.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/addbddnodeassoc.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
addbddnodeassoc \- adds a \fBbdd\fP node in a variable association. addbddnodeassoc \- adds a \fBbdd\fP node in a variable association.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/addbddnodelist.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
addbddnodelist \- adds a node in a \fIchain_list\fP. addbddnodelist \- adds a node in a \fIchain_list\fP.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/addbddvar.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
addbddvar \- adds a new variable in the \fBbdd\fP system. addbddvar \- adds a new variable in the \fBbdd\fP system.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/addbddvarafter.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
addbddvarafter \- adds a new variable, after an existing one. addbddvarafter \- adds a new variable, after an existing one.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/addbddvarbefore.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
addbddvarbefore \- adds a new variable, before an existing one. addbddvarbefore \- adds a new variable, before an existing one.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/addbddvarfirst.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
addbddvarfirst \- adds a new variable, before all others. addbddvarfirst \- adds a new variable, before all others.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/addbddvarlast.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
addbddvarlast \- adds a new variable, after all others. addbddvarlast \- adds a new variable, after all others.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/applybddnode.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
applybddnode \- applies an operator on two \fBbdd\fP nodes. applybddnode \- applies an operator on two \fBbdd\fP nodes.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/applybddnodeite.3
View File

@ -5,7 +5,7 @@
applybddnodeite \- computes the IF-THEN-ELSE logical operation. applybddnodeite \- computes the IF-THEN-ELSE logical operation.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/applybddnodelist.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
applybddnodelist \- applies an opertor to a \fBbdd\fP nodes list. applybddnodelist \- applies an opertor to a \fBbdd\fP nodes list.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/applybddnodenot.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
applybddnodenot \- complements a \fBbdd\fP. applybddnodenot \- complements a \fBbdd\fP.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/applybddnodeterm.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
applybddnodeterm \- applies an operator on two \fBbdd\fP nodes. applybddnodeterm \- applies an operator on two \fBbdd\fP nodes.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/clearbddsystemref.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
clearbddsystemref \- clears the references for all \fBbdd\fP nodes. clearbddsystemref \- clears the references for all \fBbdd\fP nodes.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

2
alliance/src/bdd/man3/clearbddsystemrefext.3
View File

@ -4,7 +4,7 @@
.SH NAME .SH NAME
clearbddsystemrefext \- clears the external references for all \fBbdd\fP nodes. clearbddsystemrefext \- clears the external references for all \fBbdd\fP nodes.
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH SYNOPSYS .SH SYNOPSIS
.nf .nf
.if n \{\ .if n \{\
.ft B \} .ft B \}

Some files were not shown because too many files have changed in this diff Show More