libFAUDES

Sections

Types

Functions

Elementary Types

There are three elementary types to represent integer, boolean and string values. They are implemented by the c types long int, bool and std::string.

Integer

The Integer type represents integer values from -(2^31) to (2^31-1). The token IO format is

<Integer> 1234   </Integer> 

Boolean

The Boolean type represents two values, denoted true and false. The token IO format is

<Boolean> "true" </Boolean>
<Boolean> "false" </Boolean>

String

The String type represents a string of ASCII characters. The token IO format is

<String> "some ASCII text, no control characters" </String>

IntegerSum

Sum of integer arguments.

Signature:

IntegerSum(+In+ Integer I1, +In+ Integer I2, +Out+ Integer IRes)
IntegerSum(+In+ Integer I1, +In+ Integer I2, +In+ Integer I3, +Out+ Integer IRes)
IntegerSum(+In+ Integer I1, +In+ Integer I2, +In+ Integer I3, +In+ Integer I4, +Out+ Integer IRes)

libFAUDES 2.14g --- 2009-12-3 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"