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

Elementary type to hold a 32bit signed integer value.

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

<Integer> 1234   </Integer> 

IntegerVector

Vector of integers

A vector of Integers.

Boolean

Elementary type to hold a boolean value true or false.

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

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

String

Elementary type to hold an ASCII encoded 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 I_1, +In+ Integer I_2, +Out+ Integer IRes)

IntegerSum(+In+ IntegerVector IVec, +Out+ Integer IRes)

libFAUDES 2.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"