PredecessorFn Comparison Table

Next UnaryFunction: PrincipalHostFn Up: UnaryFunction Previous UnaryFunction: PastFn

PredecessorFn 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

PredecessorFn Integer Integer A UnaryFunction that maps an Integer to its predecessor, e.g. the predecessor of 5 is 4
(=>
(instance ?INT Integer)
(greaterThan ?INT (PredecessorFn ?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
PredecessorFn	Integer	Integer	A UnaryFunction that maps an Integer to its predecessor, e.g. the predecessor of 5 is 4	(=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT)))		UnaryFunction

Next UnaryFunction: PrincipalHostFn Up: UnaryFunction Previous UnaryFunction: PastFn