Package jason.stdlib

Class rename_apart

java.lang.Object
jason.asSemantics.DefaultInternalAction
jason.stdlib.rename_apart
All Implemented Interfaces:
InternalAction, java.io.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 with b(_33_X,_34_Y,a).
Author:
Jomi
See Also:
Serialized Form