SuccessorFn Comparison Table

Next UnaryFunction: TangentFn Up: UnaryFunction Previous UnaryFunction: SquareRootFn

SuccessorFn comparison table

Subject have domain1 have range documentation have axiom is a kind of is an instance of

UnaryFunction The Class of Functions that require a single argument
(=>
(instance ?FUNCTION UnaryFunction)
(valence ?FUNCTION 1))
Function

SuccessorFn Integer Integer A UnaryFunction that maps an Integer to its successor, e.g. the successor of 5 is 6
(=>
(instance ?INT Integer)
(lessThan ?INT (SuccessorFn ?INT)))
UnaryFunction

Subject	have domain1	have range	documentation	have axiom	is a kind of	is an instance of
UnaryFunction			The Class of Functions that require a single argument	(=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1))	Function
SuccessorFn	Integer	Integer	A UnaryFunction that maps an Integer to its successor, e.g. the successor of 5 is 6	(=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT)))		UnaryFunction

Next UnaryFunction: TangentFn Up: UnaryFunction Previous UnaryFunction: SquareRootFn