モジュール lillib:dattypes

This module provides useful data types.

バージョン

April 07, 1999

登場したバージョン

July 08, 1998

著者

MITSUISHI Yutaka (mitsuisi@is.s.u-tokyo.ac.jp)

define_variable/1: define a new variable
define_string_variable/1: define a new string variable
define_integer_variable/1: define a new integer variable
define_float_variable/1: define a new float variable
init_string_variable/1: define and initialize a new string variable
init_integer_variable/1: define and initialize a new integer variable
init_float_variable/1: define and initialize a new float variable
set_variable/2: set a value to a variable
get_variable/2: get a value of a variable
add_variable/2: increment the value of a variable
inc_variable/1: increment a variable
inc_variable/2: increment a variable
inc_variable/3: increment a variable

Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory

述語

define_variable/1

書式 define_variable(+$VARIABLE)

引数

+$VARIABLE variable name of a variable to be defined

This predicate defines a new variable named $VARIABLE

define_string_variable/1

書式 define_string_variable(+$VARIABLE)

引数

+$VARIABLE variable name of a variable to be defined

This predicate defines a new string variable named $VARIABLE

define_integer_variable/1

書式 define_integer_variable(+$VARIABLE)

引数

+$VARIABLE variable name of a variable to be defined

This predicate defines a new integer variable named $VARIABLE

define_float_variable/1

書式 define_float_variable(+$VARIABLE)

引数

+$VARIABLE variable name of a variable to be defined

This predicate defines a new float variable named $VARIABLE.

init_string_variable/1

書式 init_string_variable(+$VARIABLE)

引数

+$VARIABLE variable name of a variable to be defined

This predicate defines a new string variable named $VARIABLE, and initializes it to "".

init_integer_variable/1

書式 init_integer_variable(+$VARIABLE)

引数

+$VARIABLE variable name of a variable to be defined

This predicate defines a new integer variable named $VARIABLE, and initializes it to 0.

init_float_variable/1

書式 init_float_variable(+$VARIABLE)

引数

+$VARIABLE variable name of a variable to be defined

This predicate defines a new float variable named $VARIABLE, and initializes it to 0.0.

set_variable/2

書式 set_variable(+$VARIABLE, +$VALUE)

引数

`+$VARIABLE`	variable	name of a variable
`+$VALUE`	bot	a value to be set

This predicate lets the value of $VARIABLE be $VALUE.

get_variable/2

書式 get_variable(+$VARIABLE, -$VALUE)

引数

`+$VARIABLE`	variable	name of a variable
`-$VALUE`	bot	a value of a variable

This predicate lets $VALUE be the value of $VARIABLE.

add_variable/2

書式 add_variable(+$VARIABLE, +$VALUE)

引数

`+$VARIABLE`	variable (of integer or float)	name of a variable
`+$VALUE`	integer or float	a value to be added

This increases the value of $VARIABLE by $VALUE.

inc_variable/1

書式 inc_variable(+$VARIABLE)

引数

+$VARIABLE variable (of integer) a name of a variable

This predicate increments a variable

inc_variable/2

書式 inc_variable(+$VARIABLE, -$OLD)

引数

`+$VARIABLE`	variable (of integer)	a name of a variable
`-$OLD`	integer	an old value of a variable

This predicate increments a variable. $OLD will be an old value of the variable.

inc_variable/3

書式 inc_variable(+$VARIABLE, -$OLD, -$NEW)

引数

`+$VARIABLE`	variable (of integer)	a name of a variable
`-$OLD`	integer	an old value of a variable
`-$NEW`	integer	a new value of a variable

This predicate increases the value of $VARIABLE by 1. $OLD and $NEW are respectively the old and new value of $VARIABLE.

Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory

コメントはこちら:

MITSUISHI Yutaka (mitsuisi@is.s.u-tokyo.ac.jp)

This document is automatically created by lildoc on Fri Sep 24 14:14:00 2004