public class union extends difference
Internal action: .union(S1,S2,S3)
.
Description: S3 is the union of the sets S1 and S2 (represented by lists). The result set is sorted.
Parameters:
Examples:
.union("[a,b,c]","[b,e]",X)
: X
unifies with "[a,b,c,e]".
.union("[a,b,a,c]","[f,e]",X)
: X
unifies with "[a,b,c,e,f]".
concat
,
delete
,
length
,
member
,
sort
,
substring
,
nth
,
max
,
min
,
reverse
,
difference
,
intersection
,
Serialized FormConstructor and Description |
---|
union() |
Modifier and Type | Method and Description |
---|---|
static InternalAction |
create() |
java.lang.Object |
execute(TransitionSystem ts,
Unifier un,
Term[] args)
Executes the internal action.
|
checkArguments, getMaxArgs, getMinArgs
canBeUsedInContext, destroy, prepareArguments, suspendIntention
public static InternalAction create()
public java.lang.Object execute(TransitionSystem ts, Unifier un, Term[] args) throws java.lang.Exception
InternalAction
execute
in interface InternalAction
execute
in class difference
java.lang.Exception