Package jason.stdlib
Class relevant_rules
java.lang.Object
jason.asSemantics.DefaultInternalAction
jason.stdlib.relevant_rules
- All Implemented Interfaces:
InternalAction
,Serializable
@Manual(literal=".relevant_rules(argument,rules)",
hint="gets all rules that can be used to prove some literal",
argsHint={"the argument to proof","the rules that prove it"},
argsType={"literal","list of plan rules"},
examples=".relevant_rules(p(_),LP): unifies LP with a list of all rules with head p/1.",
seeAlso="")
public class relevant_rules
extends DefaultInternalAction
Internal action: .relevant_rules
.
Description: gets all rules that can be used to prove some literal.
Parameters:
- + argument (literal): the argument to proof.
- - rules (list of rule terms): the list of rules that prove the argument
Example:
-
.relevant_rules(p(_),LP)
: unifies LP with a list of all rules with head p/1.
- See Also:
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionexecute
(TransitionSystem ts, Unifier un, Term[] args) Executes the internal action.int
int
Methods inherited from class jason.asSemantics.DefaultInternalAction
canBeUsedInContext, checkArguments, destroy, prepareArguments, suspendIntention
-
Constructor Details
-
relevant_rules
public relevant_rules()
-
-
Method Details
-
getMinArgs
public int getMinArgs()- Overrides:
getMinArgs
in classDefaultInternalAction
-
getMaxArgs
public int getMaxArgs()- Overrides:
getMaxArgs
in classDefaultInternalAction
-
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
-