Documentation

Finds an existent SutType from its SutTypeID

Finds the existent typeID or inserts the type and gets the new ID

Finds the SutTypeID from a SutID

Checks if the given Person already exists

Checks if the given function already exists, returns the SutID

Checks if the given function already exists, returns the SutSymbol, if any

Checks if the given variable already exists, returns the SutID wrapped as a SutExpression

Checks the living scopes for the symbols with given SutID

Crosses the living scopes with the given SutSymbols

Uses the fact the both lists are ordered in decreasing order of SutID