Package jason.stdlib
Class number
java.lang.Object
jason.asSemantics.DefaultInternalAction
jason.stdlib.number
- All Implemented Interfaces:
 InternalAction,Serializable
@Manual(literal=".number(argument)",
        hint="checks whether the argument is a number",
        argsHint="the term to be checked",
        argsType="term",
        examples=".number(10): true.number(10.34): true.number(b(10)): false.number(\"home page\"): false.number(X): false if X is free, true if X is bound to a number",
        seeAlso={"jason.stdlib.atom","jason.stdlib.list","jason.stdlib.literal","jason.stdlib.string","jason.stdlib.structure","jason.stdlib.ground"})
public class number
extends DefaultInternalAction
Internal action: .number.
  
Description: checks whether the argument is a number.
Parameter:
- + argument (any term): the term to be checked.
 
Examples:
-  
.number(10): true. -  
.number(10.34): true. -  
.number(b(10)): false. -  
.number("home page"): false. -  
.number(X): false if X is free, true if X is bound to a number. 
- See Also:
 
- 
Constructor Summary
Constructors - 
Method Summary
Modifier and TypeMethodDescriptionstatic InternalActioncreate()execute(TransitionSystem ts, Unifier un, Term[] args) Executes the internal action.intintMethods inherited from class jason.asSemantics.DefaultInternalAction
canBeUsedInContext, checkArguments, destroy, prepareArguments, suspendIntention 
- 
Constructor Details
- 
number
public number() 
 - 
 - 
Method Details
- 
create
 - 
getMinArgs
public int getMinArgs()- Overrides:
 getMinArgsin classDefaultInternalAction
 - 
getMaxArgs
public int getMaxArgs()- Overrides:
 getMaxArgsin classDefaultInternalAction
 - 
execute
Description copied from interface:InternalActionExecutes the internal action. It should return a Boolean or an Iterator. A true boolean return means that the IA was successfully executed. An Iterator result means that there is more than one answer for this IA (e.g. see member internal action). - Specified by:
 executein interfaceInternalAction- Overrides:
 executein classDefaultInternalAction- Throws:
 Exception
 
 -