Companion

The pattern of an ill-formed functor for a Struct containing

The pattern of a well-formed functor for a Struct. A functor is well-formed if and only if:

Wraps the provided string within single quotes, unconditionally.

Wraps the provided string within single quotes, but only if it is not well-formed. Well-formed check is performed via the isWellFormedFunctor method.

Unconditionally, escapes all occurrences of the characters \n, \r, \t, and \ in string. Depending on the value of parameters escapeDoubleQuotes and escapeSingleQuotes, occurrences of characters " and ' may be escaped as well.

Escapes all occurrences of the characters \n, \r, \t, and \ in string, but only if a preliminary check reveals that it contains some character which require escaping. Depending on the value of parameters escapeDoubleQuotes and escapeSingleQuotes, occurrences of characters " and ' may be escaped as well.

Folds the Terms in terms from left to right, creating binary structures having operator as functor. Let f be the value of operator, and let t_i be the i-th term in terms. Then, this method constructs the Structure

Folds the Terms in terms from left to right, creating binary structures having operator as functor. Let f be the value of operator, and let t_i be the i-th term in terms. Then, if terminal is non-null, this method constructs the Structure

Checks if a string matches NON_PRINTABLE_CHARACTER_PATTERN.

Checks if a string matches WELL_FORMED_FUNCTOR_PATTERN.

Creates a new Struct from the given Iterable of Terms. Instances of Struct are always created of the most adequate sub-type of Struct. This implies that, whenever possible, the creation of the new Struct may be delegated to:

Creates a new Struct from the given KtList of Terms. Instances of Struct are always created of the most adequate sub-type of Struct. This implies that, whenever possible, the creation of the new Struct may be delegated to:

Creates a new Struct from the given Sequence of Terms. Instances of Struct are always created of the most adequate sub-type of Struct. This implies that, whenever possible, the creation of the new Struct may be delegated to:

Creates a new Struct from the given Terms. Instances of Struct are always created of the most adequate sub-type of Struct. This implies that, whenever possible, the creation of the new Struct may be delegated to:

Creates a new Struct with functor as functor and a given amount of anonymous Variables, namely arity. Instances of Struct are always created of the most adequate sub-type of Struct.