Package jason.stdlib
Class rename_apart
java.lang.Object
jason.asSemantics.DefaultInternalAction
jason.stdlib.rename_apart
- All Implemented Interfaces:
InternalAction
,Serializable
@Manual(literal=".rename_apart(labels[,source])",
hint="replace the variable by unused named, to avoid clash",
argsHint="",
argsType="",
examples=".rename_apart(b(X,Y,a), R): R will unifies with b(_33_X,_34_Y,a)",
seeAlso="")
public class rename_apart
extends DefaultInternalAction
replace the variable by unused named, to avoid clash.
Examples:
-
.rename_apart(b(X,Y,a), R)
: R will unifies withb(_33_X,_34_Y,a)
.
- See Also:
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionexecute
(TransitionSystem ts, Unifier un, Term[] args) Executes the internal action.int
int
Term[]
prepareArguments
(Literal body, Unifier un) Prepare body's terms to be used in 'execute', normally it consist of cloning and applying each termMethods inherited from class jason.asSemantics.DefaultInternalAction
canBeUsedInContext, checkArguments, destroy, suspendIntention
-
Constructor Details
-
rename_apart
public rename_apart()
-
-
Method Details
-
getMinArgs
public int getMinArgs()- Overrides:
getMinArgs
in classDefaultInternalAction
-
getMaxArgs
public int getMaxArgs()- Overrides:
getMaxArgs
in classDefaultInternalAction
-
prepareArguments
Description copied from interface:InternalAction
Prepare body's terms to be used in 'execute', normally it consist of cloning and applying each term- Specified by:
prepareArguments
in interfaceInternalAction
- Overrides:
prepareArguments
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
-