ContRap
The symbolic tool for control-flow based rapid prototyping.

Library stl
Overview

This library is undocumented

Non-class functions

Here you will find the list of all functions, which are defined outside the scope of a class.

operator+(left:String,right:String):String
Adds two strings
operator=(left:String,right:String):bool
Computes the relation
print(value:String):String
Prints a string
Class List

Here you will find the class functions of 'List' defined in the library 'stl'.

List(size:int,entry:):List
Creates a list with empty entries
operator->(value:List,list:List):List
Appends a list at the beginning of the list by modifying the list
operator<-(list:List,value:List):List
Appends a list at the end of the list by modifying the list
operator<<(list:List,value:):List
Appends an element at the end of the list by modifying the list
operator>>(value:,list:List):List
Appends an element at the beginning of the list by modifying the list
operator[](list:List,index:int)
Provides access to a list element
set(list:List,index:int,entry:):List
Sets a value of the list
size(value:List):int
Returns the size of a list
String(value:std::string):String
Constructs a string from a standard string
String(value:double):String
Constructs a string from a floating point number
String(value:int):String
Constructs a string from an integer
split(value:String,delimiter:String):List
Splits a string in a list of strings
Class String

Here you will find the class functions of 'String' defined in the library 'stl'.

List(size:int,entry:):List
Creates a list with empty entries
operator->(value:List,list:List):List
Appends a list at the beginning of the list by modifying the list
operator<-(list:List,value:List):List
Appends a list at the end of the list by modifying the list
operator<<(list:List,value:):List
Appends an element at the end of the list by modifying the list
operator>>(value:,list:List):List
Appends an element at the beginning of the list by modifying the list
operator[](list:List,index:int)
Provides access to a list element
set(list:List,index:int,entry:):List
Sets a value of the list
size(value:List):int
Returns the size of a list
String(value:std::string):String
Constructs a string from a standard string
String(value:double):String
Constructs a string from a floating point number
String(value:int):String
Constructs a string from an integer
split(value:String,delimiter:String):List
Splits a string in a list of strings