Package jason.stdlib
Class min
java.lang.Object
jason.asSemantics.DefaultInternalAction
jason.stdlib.min
- All Implemented Interfaces:
InternalAction
,Serializable
- Direct Known Subclasses:
max
Internal action: .min
.
Description: gets the minimum value of a list of terms, using
the "natural" order of terms. Between
different types of terms, the following order is
used:
numbers < atoms < structures < lists
Parameters:
- + list (list): the list where to find the minimal term.
- +/- minimal (term).
Query version:
- + term (variable or structure): the variable or structure whose
instances will be used as min candidate.
- + query (logical formula): the formula used to find values for the term
- +/- result (term): the min value for the query.
Examples:
-
.min([c,a,b],X)
:X
unifies witha
. -
.min([b,c,10,g,f(10),[3,4],5,[3,10],f(4)],X)
:X
unifies with5
. -
.min([3,2,5],2)
: true. -
.min([3,2,5],5)
: false. .min([],X)
: false..min(V, b(V), Min)
: unifies Min with the min V value for query b(V).
- See Also:
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionprotected void
checkArguments
(Term[] args) protected boolean
static InternalAction
create()
execute
(TransitionSystem ts, Unifier un, Term[] args) Executes the internal action.int
int
Methods inherited from class jason.asSemantics.DefaultInternalAction
canBeUsedInContext, destroy, prepareArguments, suspendIntention
-
Constructor Details
-
min
public min()
-
-
Method Details
-
create
-
getMinArgs
public int getMinArgs()- Overrides:
getMinArgs
in classDefaultInternalAction
-
getMaxArgs
public int getMaxArgs()- Overrides:
getMaxArgs
in classDefaultInternalAction
-
checkArguments
- Overrides:
checkArguments
in classDefaultInternalAction
- Throws:
JasonException
-
execute
Description copied from interface:InternalAction
Executes 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:
execute
in interfaceInternalAction
- Overrides:
execute
in classDefaultInternalAction
- Throws:
Exception
-
compare
-