Defining function and predicate symbols of first-order logic

Functions
FUNSYM	funsym (char *name, size_t arity, const SORT *domain, SORT codomain)
	Defining a function or predicate symbol of first-order logic. More...

Detailed Description

Defining function and predicate symbols of first-order logic.

Function Documentation

funsym()

FUNSYM funsym	(	char *	name,
		size_t	arity,
		const SORT *	domain,
		SORT	codomain
	)

Defining a function or predicate symbol of first-order logic.

This function defines an uninterpreted function or predicate symbol.

Parameters

name	The name of the symbol.
arity	The arity of the symbol.
domain	The (possibly empty) pointer to the list of the sorts corresponding to the domain of the symbol.
codomain	The sort corresponding to the codomain of the symbol.

Returns

The corresponding function or predicate symbol.