public class delete extends DefaultInternalAction
Internal action: .delete
.
Description: delete elements of strings or lists.
Parameters:
Examples:
.delete(a,[a,b,c,a],L)
: L
unifies with [b,c].
.delete(a,[a,b,c,a],[c])
: false.
.delete(0,[a,b,c,a],L)
: L
unifies with [b,c,a].
.delete(1,3,[a,b,c,a],L)
: L
unifies with [a,a].
.delete("a","banana",S)
: S
unifies with "bnn".
.delete(0,"banana",S)
: S
unifies with "anana".
concat
,
length
,
member
,
sort
,
substring
,
nth
,
max
,
min
,
reverse
,
difference
,
intersection
,
union
,
Serialized FormModifier and Type | Field and Description |
---|---|
private static InternalAction |
singleton |
Constructor and Description |
---|
delete() |
Modifier and Type | Method and Description |
---|---|
static InternalAction |
create() |
(package private) ListTerm |
deleteFromList(int index,
int end,
ListTerm l) |
(package private) ListTerm |
deleteFromList(Term element,
ListTerm l,
Unifier un) |
(package private) StringTerm |
deleteFromString(int index,
int end,
StringTerm st) |
(package private) StringTerm |
deleteFromString(StringTerm st1,
StringTerm st2) |
java.lang.Object |
execute(TransitionSystem ts,
Unifier un,
Term[] args)
Executes the internal action.
|
int |
getMaxArgs() |
int |
getMinArgs() |
canBeUsedInContext, checkArguments, destroy, prepareArguments, suspendIntention
private static InternalAction singleton
public static InternalAction create()
public int getMinArgs()
getMinArgs
in class DefaultInternalAction
public int getMaxArgs()
getMaxArgs
in class DefaultInternalAction
public java.lang.Object execute(TransitionSystem ts, Unifier un, Term[] args) throws java.lang.Exception
InternalAction
execute
in interface InternalAction
execute
in class DefaultInternalAction
java.lang.Exception
StringTerm deleteFromString(int index, int end, StringTerm st)
StringTerm deleteFromString(StringTerm st1, StringTerm st2)