of

fun of(functor: String, args: List<Term>): Struct

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:

depending on the value of functor and on the amount and sorts of items in args.

Return

a new instance of Struct (or of some particular sub-type of Struct)

Parameters

functor

is the String to be used as functor of the new Struct

args

is the KtList of Terms to be used as argument list of the new Struct


fun of(functor: String, vararg args: Term): Struct

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:

depending on the value of functor and on the amount and sorts provided Terms.

Return

a new instance of Struct (or of some particular sub-type of Struct)

Parameters

functor

is the String to be used as functor of the new Struct

args

is the vararg array of Terms to be used as argument list of the new Struct


fun of(functor: String, args: Sequence<Term>): Struct

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:

depending on the value of functor and on the amount and sorts of items in args.

Return

a new instance of Struct (or of some particular sub-type of Struct)

Parameters

functor

is the String to be used as functor of the new Struct

args

is the Sequence of Terms to be used as argument list of the new Struct


fun of(functor: String, args: Iterable<Term>): Struct

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:

depending on the value of functor and on the amount and sorts of items in args.

Return

a new instance of Struct (or of some particular sub-type of Struct)

Parameters

functor

is the String to be used as functor of the new Struct

args

is the Iterable of Terms to be used as argument list of the new Struct